A Sweep-Line Method for State Space Exploration

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  • Bioinformatics Research Centre (BiRC)
  • Department of Computer Science
Original languageEnglish
Title of host publicationProceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001)
Number of pages15
Publication year2001
Pages450-464
Publication statusPublished - 2001
EventTools and Algorithms for the Construction and Analysis of Systems (TACAS 2001) -
Duration: 17 Dec 2010 → …

Conference

ConferenceTools and Algorithms for the Construction and Analysis of Systems (TACAS 2001)
Periode17/12/2010 → …

See relations at Aarhus University Citationformats

ID: 173696