Dezhuang Zhang, Rance Cleaveland
Efficient temporal-logic query checking for presburger systems
ASE, 2005.
@inproceedings{ASE-2005-ZhangC,
author = "Dezhuang Zhang and Rance Cleaveland",
booktitle = "{Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1145/1101908.1101915",
pages = "24--33",
publisher = "{ACM}",
title = "{Efficient temporal-logic query checking for presburger systems}",
year = 2005,
}