%0 Conference Paper %1 conf/hybrid/Lamport92 %A Lamport, Leslie %B Hybrid Systems %D 1992 %E Grossman, Robert L. %E Nerode, Anil %E Ravn, Anders P. %E Rischel, Hans %I Springer %K dblp %P 77-102 %T Hybrid Systems in TLA+. %U http://dblp.uni-trier.de/db/conf/hybrid/hybrid92.html#Lamport92 %V 736 %@ 0-387-57318-6

@inproceedings{conf/hybrid/Lamport92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Lamport, Leslie}, biburl = {https://www.bibsonomy.org/bibtex/23c8965e9a1c3d2420c690b98e364dea0/dblp}, booktitle = {Hybrid Systems}, crossref = {conf/hybrid/1992}, editor = {Grossman, Robert L. and Nerode, Anil and Ravn, Anders P. and Rischel, Hans}, ee = {https://doi.org/10.1007/3-540-57318-6_25}, interhash = {9df1b150d376181143bed23c2e623b13}, intrahash = {3c8965e9a1c3d2420c690b98e364dea0}, isbn = {0-387-57318-6}, keywords = {dblp}, pages = {77-102}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:00:24.000+0200}, title = {Hybrid Systems in TLA+.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hybrid92.html#Lamport92}, volume = 736, year = 1992 }