Is your Model Checker on Time?: On the Complexity of Model Checking for Timed Modal Logics

Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics

Luca Aceto, F Laroussinie

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Journal of Logic and Algebraic Programming
Vol/bind	52-53
Sider (fra-til)	7-51
ISSN	2352-2208
Status	Udgivet - 2002

@article{5de57a70001e11dab4d5000ea68e967b,

title = "Is your Model Checker on Time?: On the Complexity of Model Checking for Timed Modal Logics",

author = "Luca Aceto and F Laroussinie",

year = "2002",

language = "English",

volume = "52-53",

pages = "7--51",

journal = "Journal of Logic and Algebraic Programming",

issn = "2352-2208",

publisher = "Elsevier",

}