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

Institut for Datalogi

Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

Originalsprog	Engelsk

Udgivelsessted	Aalborg
Forlag	Aalborg Universitetsforlag
Status	Udgivet - 2001

Bibliografisk note

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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

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