Efficient model checking for duration calculus

Publication: Research - peer-reviewJournal article – Annual report year: 2009

Standard

Efficient model checking for duration calculus. / Fränzle, Martin; Hansen, Michael Reichhardt.

In: International Journal of Software and Informatics, Vol. 3, No. 2-3, 2009, p. 171-196.

Publication: Research - peer-reviewJournal article – Annual report year: 2009

Harvard

APA

CBE

MLA

Vancouver

Author

Fränzle, Martin; Hansen, Michael Reichhardt / Efficient model checking for duration calculus.

In: International Journal of Software and Informatics, Vol. 3, No. 2-3, 2009, p. 171-196.

Publication: Research - peer-reviewJournal article – Annual report year: 2009

Bibtex

@article{9d11c97bfb23435b8cc4ef0088851c57,
title = "Efficient model checking for duration calculus",
publisher = "Kexue Chubanshe",
author = "Martin Fränzle and Hansen, {Michael Reichhardt}",
year = "2009",
volume = "3",
number = "2-3",
pages = "171--196",
journal = "International Journal of Software and Informatics",
issn = "1673-7288",

}

RIS

TY - JOUR

T1 - Efficient model checking for duration calculus

A1 - Fränzle,Martin

A1 - Hansen,Michael Reichhardt

AU - Fränzle,Martin

AU - Hansen,Michael Reichhardt

PB - Kexue Chubanshe

PY - 2009

Y1 - 2009

JO - International Journal of Software and Informatics

JF - International Journal of Software and Informatics

SN - 1673-7288

IS - 2-3

VL - 3

SP - 171

EP - 196

ER -