Connectivity testing through model-checking

J.C. Godskesen, Brian Nielsen, Arne Skou

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)
Original languageEnglish
Title of host publicationFormal Techniques for Networked and Distributed Systems - Forte 2004, Proceedings
Volume3235
Publication date2004
Pages167-184
Publication statusPublished - 2004
EventConnectivity testing through model-checking -
Duration: 19 May 2010 → …

Conference

ConferenceConnectivity testing through model-checking
Period19/05/2010 → …

Cite this