@inproceedings{8977022ce89d4080957a91724ec20510,
title = "Simple on-the-fly automatic verification of linear temporal logic",
author = "R.T. Gerth and D. Peled and M.Y. Vardi and P. Wolper",
year = "1995",
language = "English",
isbn = "0-412-71620-8",
series = "IFIP Conference Proceedings",
publisher = "Chapman & Hall",
pages = "3--19",
editor = "P. Dembinski and M. Sredniawa",
booktitle = "Protocol Specification, Testing and Verification XV (Proceedings of the Fifteenth IFIP WG6.1 International Symposium, PSTV'95, Warsaw, Polnd, June 1995)",
address = "United Kingdom",
}