George Logothetis, Klaus Schneider. Symbolic Model Checking of Real-Time Systems. In TIME. pages 214-223, 2001. [doi]
@inproceedings{LogothetisS01:0,
title = {Symbolic Model Checking of Real-Time Systems},
author = {George Logothetis and Klaus Schneider},
year = {2001},
url = {http://www.computer.org/proceedings/time/1107/11070214abs.htm},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/LogothetisS01%3A0},
cites = {0},
citedby = {0},
pages = {214-223},
booktitle = {TIME},
}