Inhye Kang, Insup Lee
An Efficient State Space Generation for Analysis of Real-Time Systems
ISSTA, 1996.
@inproceedings{ISSTA-1996-KangL,
author = "Inhye Kang and Insup Lee",
booktitle = "{Proceedings of the International Symposium on Software Testing and Analysis}",
doi = "10.1145/229000.226297",
number = 3,
pages = "4--13",
publisher = "{ACM Press}",
series = "{Software Engineering Notes}",
title = "{An Efficient State Space Generation for Analysis of Real-Time Systems}",
volume = 21,
year = 1996,
}