Complexity of decision problems for mixed and modal specifications

Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski

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

19 Citations (Scopus)
296 Downloads (Pure)
Original languageEnglish
Title of host publicationFoundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
EditorsRoberto Amadio
PublisherSpringer
Publication date2008
Pages112-126
ISBN (Print)978-3-540-78497-5
DOIs
Publication statusPublished - 2008
EventFOSSACS 2008 - Budapest, Hungary
Duration: 29 Mar 20086 Apr 2008
Conference number: 11

Conference

ConferenceFOSSACS 2008
Number11
CountryHungary
CityBudapest
Period29/03/200806/04/2008
SeriesLecture Notes in Computer Science
Number4962
ISSN0302-9743

Cite this

Antonik, A., Huth, M., Larsen, K. G., Nyman, U., & Wasowski, A. (2008). Complexity of decision problems for mixed and modal specifications. In R. Amadio (Ed.), Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings (pp. 112-126). Springer. Lecture Notes in Computer Science, No. 4962 https://doi.org/10.1007/978-3-540-78499-9_9