Efficient model checking for duration calculus
Publication: Research - peer-review › Journal 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-review › Journal article – Annual report year: 2009
Harvard
Fränzle, M & Hansen, MR 2009, 'Efficient model checking for duration calculus' International Journal of Software and Informatics, vol 3, no. 2-3, pp. 171-196.
APA
Fränzle, M., & Hansen, M. R. (2009). Efficient model checking for duration calculus. International Journal of Software and Informatics, 3(2-3), 171-196.
CBE
Fränzle M, Hansen MR. 2009. Efficient model checking for duration calculus. International Journal of Software and Informatics. 3(2-3):171-196.
MLA
Fränzle, Martin and Michael ReichhardtHansen. "Efficient model checking for duration calculus". International Journal of Software and Informatics. 2009, 3(2-3). 171-196.
Vancouver
Fränzle M, Hansen MR. Efficient model checking for duration calculus. International Journal of Software and Informatics. 2009;3(2-3):171-196.
Author
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 -