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

@inproceedings{conf/hybrid/GrossmanNRR92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Grossman, Robert L. and Nerode, Anil and Ravn, Anders P. and Rischel, Hans}, biburl = {https://www.bibsonomy.org/bibtex/2cca73062939fe50e8a43d8e37e6bb1b0/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_21}, interhash = {7315ae009de7f458a1d1383abd3bd6e0}, intrahash = {cca73062939fe50e8a43d8e37e6bb1b0}, isbn = {0-387-57318-6}, keywords = {dblp}, pages = {1-3}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:00:24.000+0200}, title = {Introduction.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hybrid92.html#GrossmanNRR92}, volume = 736, year = 1992 }