%0 Conference Paper %1 conf/ftrtft/YuWZP94 %A Yu, Xinyao %A Wang, Ji %A Zhou, Chaochen %A Pandya, Paritosh K. %B FTRTFT %D 1994 %E Langmaack, Hans %E de Roever, Willem P. %E Vytopil, Jan %I Springer %K dblp %P 738-755 %T Formal Design of Hybrid Systems. %U http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1994.html#YuWZP94 %V 863 %@ 3-540-58468-4

@inproceedings{conf/ftrtft/YuWZP94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Yu, Xinyao and Wang, Ji and Zhou, Chaochen and Pandya, Paritosh K.}, biburl = {https://www.bibsonomy.org/bibtex/211d5ea099ea556d6a16b38187d8c3a64/dblp}, booktitle = {FTRTFT}, crossref = {conf/ftrtft/1994}, editor = {Langmaack, Hans and de Roever, Willem P. and Vytopil, Jan}, ee = {https://doi.org/10.1007/3-540-58468-4_193}, interhash = {be6cf0d88ac835ad46025a8395911b95}, intrahash = {11d5ea099ea556d6a16b38187d8c3a64}, isbn = {3-540-58468-4}, keywords = {dblp}, pages = {738-755}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:25:08.000+0200}, title = {Formal Design of Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/conf/ftrtft/ftrtft1994.html#YuWZP94}, volume = 863, year = 1994 }