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

Luca Aceto; F. Laroussinie

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

Luca Aceto, F. Laroussinie

Department of Computer Science

Research output: Book/Report › Book › Research

Original language	English

Place of Publication	Aalborg
Publisher	Aalborg Universitetsforlag
Publication status	Published - 2001

AUB Link

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

Cite this

@book{b7577d60003211dab4d5000ea68e967b,

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

author = "Luca Aceto and F. Laroussinie",

note = "Accepted for publication in the Journal of Logic and Algebraic Programming Accepted for publication in the Journal of Logic and Algebraic Programming",

year = "2001",

language = "English",

publisher = "Aalborg Universitetsforlag",

}

TY - BOOK

T1 - Is your Model Checker on Time?

T2 - On the Complexity of Model Checking for Timed Modal Logics

AU - Aceto, Luca

AU - Laroussinie, F.

N1 - Accepted for publication in the Journal of Logic and Algebraic Programming Accepted for publication in the Journal of Logic and Algebraic Programming

PY - 2001

Y1 - 2001

M3 - Book

BT - Is your Model Checker on Time?

PB - Aalborg Universitetsforlag

CY - Aalborg

ER -