Complexity of decision problems for mixed and modal specifications

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

21 Citationer (Scopus)
343 Downloads (Pure)
OriginalsprogEngelsk
TitelFoundations 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
RedaktørerRoberto Amadio
ForlagSpringer
Publikationsdato2008
Sider112-126
ISBN (Trykt)978-3-540-78497-5
DOI
StatusUdgivet - 2008
BegivenhedFOSSACS 2008 - Budapest, Ungarn
Varighed: 29 mar. 20086 apr. 2008
Konferencens nummer: 11

Konference

KonferenceFOSSACS 2008
Nummer11
Land/OmrådeUngarn
ByBudapest
Periode29/03/200806/04/2008
NavnLecture Notes in Computer Science
Nummer4962
ISSN0302-9743

Citationsformater