%0 Conference Paper %1 conf/hybrid/MannaP92 %A Manna, Zohar %A Pnueli, Amir %B Hybrid Systems %D 1992 %E Grossman, Robert L. %E Nerode, Anil %E Ravn, Anders P. %E Rischel, Hans %I Springer %K dblp %P 4-35 %T Verifying Hybrid Systems. %U http://dblp.uni-trier.de/db/conf/hybrid/hybrid92.html#MannaP92 %V 736 %@ 0-387-57318-6

@inproceedings{conf/hybrid/MannaP92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Manna, Zohar and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/2a71b769a45236bd95ff387bb8f5af247/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_22}, interhash = {9a49de865b3ec08a6ed4d37f6467d1e7}, intrahash = {a71b769a45236bd95ff387bb8f5af247}, isbn = {0-387-57318-6}, keywords = {dblp}, pages = {4-35}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:00:24.000+0200}, title = {Verifying Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hybrid92.html#MannaP92}, volume = 736, year = 1992 }