Complexity of decision problems for mixed and modal specifications

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

doi:10.1007/978-3-540-78499-9_9

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 proceeding › Article in proceeding › Research › peer-review

21 Citations (Scopus)

343 Downloads (Pure)

Original language	English
Title of host publication	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
Editors	Roberto Amadio
Publisher	Springer
Publication date	2008
Pages	112-126
ISBN (Print)	978-3-540-78497-5
DOIs	https://doi.org/10.1007/978-3-540-78499-9_9
Publication status	Published - 2008
Event	FOSSACS 2008 - Budapest, Hungary Duration: 29 Mar 2008 → 6 Apr 2008 Conference number: 11

Conference

Conference	FOSSACS 2008
Number	11
Country/Territory	Hungary
City	Budapest
Period	29/03/2008 → 06/04/2008

Series	Lecture Notes in Computer Science
Number	4962
ISSN	0302-9743

Access to Document

10.1007/978-3-540-78499-9_9

FOSSACS08withappendixFinal published version, 314 KB

AUB Link

Search for the material in Aalborg University Library's search engine

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. https://doi.org/10.1007/978-3-540-78499-9_9

Antonik, Adam ; Huth, Michael ; Larsen, Kim Guldstrand et al. / Complexity of decision problems for mixed and modal specifications. 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. editor / Roberto Amadio. Springer, 2008. pp. 112-126 (Lecture Notes in Computer Science; No. 4962).

@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",

}

Antonik, A, Huth, M, Larsen, KG , 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. Springer, Lecture Notes in Computer Science, no. 4962, pp. 112-126, FOSSACS 2008, Budapest, Hungary, 29/03/2008. https://doi.org/10.1007/978-3-540-78499-9_9

Complexity of decision problems for mixed and modal specifications. / Antonik, Adam; Huth, Michael; Larsen, Kim Guldstrand et al.
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. ed. / Roberto Amadio. Springer, 2008. p. 112-126 (Lecture Notes in Computer Science; No. 4962).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Complexity of decision problems for mixed and modal specifications

AU - Antonik, Adam

AU - Huth, Michael

AU - Larsen, Kim Guldstrand

AU - Nyman, Ulrik

AU - Wasowski, Andrzej

N1 - Conference code: 11

PY - 2008

Y1 - 2008

U2 - 10.1007/978-3-540-78499-9_9

DO - 10.1007/978-3-540-78499-9_9

M3 - Article in proceeding

SN - 978-3-540-78497-5

T3 - Lecture Notes in Computer Science

SP - 112

EP - 126

BT - Foundations of Software Science and Computational Structures

A2 - Amadio, Roberto

PB - Springer

T2 - FOSSACS 2008

Y2 - 29 March 2008 through 6 April 2008

ER -

Antonik A, Huth M, Larsen KG , Nyman U, Wasowski A. Complexity of decision problems for mixed and modal specifications. In Amadio R, editor, 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. Springer. 2008. p. 112-126. (Lecture Notes in Computer Science; No. 4962). doi: 10.1007/978-3-540-78499-9_9