%0 Conference Paper %1 conf/hybrid/Heitmeyer95 %A Heitmeyer, Constance L. %B Hybrid Systems %D 1995 %E Alur, Rajeev %E Henzinger, Thomas A. %E Sontag, Eduardo D. %I Springer %K dblp %P 304-314 %T Requirements Specifications for Hybrid Systems. %U http://dblp.uni-trier.de/db/conf/hybrid/hybrid95.html#Heitmeyer95 %V 1066 %@ 3-540-61155-X

@inproceedings{conf/hybrid/Heitmeyer95, added-at = {2017-05-22T00:00:00.000+0200}, author = {Heitmeyer, Constance L.}, biburl = {https://www.bibsonomy.org/bibtex/2cf507c27b5c78ba50d1b722ef151d537/dblp}, booktitle = {Hybrid Systems}, crossref = {conf/hybrid/1995}, editor = {Alur, Rajeev and Henzinger, Thomas A. and Sontag, Eduardo D.}, ee = {https://doi.org/10.1007/BFb0020955}, interhash = {ac7ee2db8a96bf853eac572be76e378c}, intrahash = {cf507c27b5c78ba50d1b722ef151d537}, isbn = {3-540-61155-X}, keywords = {dblp}, pages = {304-314}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:52:05.000+0200}, title = {Requirements Specifications for Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hybrid95.html#Heitmeyer95}, volume = 1066, year = 1995 }