@inproceedings{d258b680a26811dc8188000ea68e967b,
title = "Complexity of decision problems for mixed and modal specifications",
author = "Adam Antonik and Michael Huth and Larsen, {Kim Guldstrand} and Ulrik Nyman and Andrzej Wasowski",
year = "2008",
doi = "10.1007/978-3-540-78499-9_9",
language = "English",
isbn = "978-3-540-78497-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
number = "4962",
pages = "112--126",
editor = "Roberto Amadio",
booktitle = "Foundations of Software Science and Computational Structures",
address = "Germany",
note = "FOSSACS 2008 ; Conference date: 29-03-2008 Through 06-04-2008",
}