%0 Conference Paper %1 conf/ftrtft/PnueliSS98 %A Pnueli, Amir %A Shankar, Natarajan %A Singerman, Eli %B FTRTFT %D 1998 %E Ravn, Anders P. %E Rischel, Hans %I Springer %K dblp %P 198-209 %T Fair Synchronous Transition Systems and Their Liveness Proofs. %U http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1998.html#PnueliSS98 %V 1486 %@ 3-540-65003-2

@inproceedings{conf/ftrtft/PnueliSS98, added-at = {2017-05-22T00:00:00.000+0200}, author = {Pnueli, Amir and Shankar, Natarajan and Singerman, Eli}, biburl = {https://www.bibsonomy.org/bibtex/2a5641323f9973cb56f57a90bb149af73/dblp}, booktitle = {FTRTFT}, crossref = {conf/ftrtft/1998}, editor = {Ravn, Anders P. and Rischel, Hans}, ee = {https://doi.org/10.1007/BFb0055348}, interhash = {37748e101e5477cc8c0292ba7a40b9be}, intrahash = {a5641323f9973cb56f57a90bb149af73}, isbn = {3-540-65003-2}, keywords = {dblp}, pages = {198-209}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:25:02.000+0200}, title = {Fair Synchronous Transition Systems and Their Liveness Proofs.}, url = {http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1998.html#PnueliSS98}, volume = 1486, year = 1998 }