The Complexity of Temporal Logic Model Checking
Type of publication: | Inproceedings |
Citation: | schnoebelen02thecomplexity |
Booktitle: | {S}elected {P}apers from the 4th {W}orkshop on {A}dvances in {M}odal {L}ogics ({AiML}'02) |
Chapter: | 19 |
Year: | 2003 |
Pages: | 393-436 |
Publisher: | King's College Publication |
Address: | Toulouse, France |
Userfields: | date-added={2012-09-03 15:47:30 +0200}, date-modified={2012-09-03 15:47:30 +0200}, project={fremdliteratur}, xxxnote={Invited paper}, xxxurl={http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/Sch-aiml02.pdf}, |
Keywords: | |
Authors | |
Editors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|