%0 Conference Paper %1 conf/hybrid/ChaochenRH92 %A Chaochen, Zhou %A Ravn, Anders P. %A Hansen, Michael R. %B Hybrid Systems %D 1992 %E Grossman, Robert L. %E Nerode, Anil %E Ravn, Anders P. %E Rischel, Hans %I Springer %K dblp %P 36-59 %T An Extended Duration Calculus for Hybrid Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/hybrid/hybrid92.html#ChaochenRH92 %V 736 %@ 0-387-57318-6

@inproceedings{conf/hybrid/ChaochenRH92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Chaochen, Zhou and Ravn, Anders P. and Hansen, Michael R.}, biburl = {https://www.bibsonomy.org/bibtex/258df70d83eb242a2529e1f0edfa07d74/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_23}, interhash = {686d46142f7ed582a63885267d0d0820}, intrahash = {58df70d83eb242a2529e1f0edfa07d74}, isbn = {0-387-57318-6}, keywords = {dblp}, pages = {36-59}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:00:24.000+0200}, title = {An Extended Duration Calculus for Hybrid Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hybrid92.html#ChaochenRH92}, volume = 736, year = 1992 }