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
|
|
|
|
|
