%0 Conference Paper %1 conf/nato/ClarkeBES84 %A Clarke, Edmund M. %A Browne, Michael C. %A Emerson, E. Allen %A Sistla, A. Prasad %B Logics and Models of Concurrent Systems %D 1984 %E Apt, Krzysztof R. %I Springer %K dblp %P 3-26 %T Using Temporal Logic for Automatic Verification of Finite State Systems. %U http://dblp.uni-trier.de/db/conf/nato/logics1984.html#ClarkeBES84 %V 13 %@ 978-3-642-82453-1

@inproceedings{conf/nato/ClarkeBES84, added-at = {2020-04-17T00:00:00.000+0200}, author = {Clarke, Edmund M. and Browne, Michael C. and Emerson, E. Allen and Sistla, A. Prasad}, biburl = {https://www.bibsonomy.org/bibtex/26e3cc4e74cade77dd296662b10357dea/dblp}, booktitle = {Logics and Models of Concurrent Systems}, crossref = {conf/nato/1984}, editor = {Apt, Krzysztof R.}, ee = {https://doi.org/10.1007/978-3-642-82453-1_1}, interhash = {c9a9f6c9a760f75bf55c0ffd07fac8d8}, intrahash = {6e3cc4e74cade77dd296662b10357dea}, isbn = {978-3-642-82453-1}, keywords = {dblp}, pages = {3-26}, publisher = {Springer}, series = {NATO ASI Series}, timestamp = {2020-04-18T11:39:26.000+0200}, title = {Using Temporal Logic for Automatic Verification of Finite State Systems.}, url = {http://dblp.uni-trier.de/db/conf/nato/logics1984.html#ClarkeBES84}, volume = 13, year = 1984 }