%0 Conference Paper %1 conf/asian/IgarashiMSS96 %A Igarashi, Shigeru %A Mizutani, Tetsuya %A Shirogane, Tetsuya %A Shio, Masayuki %B ASIAN %D 1996 %E Jaffar, Joxan %E Yap, Roland H. C. %I Springer %K dblp %P 347-348 %T Formal Analysis for Continous Systems Controlled by Programs. %U http://dblp.uni-trier.de/db/conf/asian/asian96.html#IgarashiMSS96 %V 1179 %@ 3-540-62031-1

@inproceedings{conf/asian/IgarashiMSS96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Igarashi, Shigeru and Mizutani, Tetsuya and Shirogane, Tetsuya and Shio, Masayuki}, biburl = {https://www.bibsonomy.org/bibtex/206ff4d8691ddf0cd56cf16b7eebfe104/dblp}, booktitle = {ASIAN}, crossref = {conf/asian/1996}, editor = {Jaffar, Joxan and Yap, Roland H. C.}, ee = {https://doi.org/10.1007/BFb0027812}, interhash = {889392650016bbb811d75417cb26052c}, intrahash = {06ff4d8691ddf0cd56cf16b7eebfe104}, isbn = {3-540-62031-1}, keywords = {dblp}, pages = {347-348}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:19:02.000+0200}, title = {Formal Analysis for Continous Systems Controlled by Programs.}, url = {http://dblp.uni-trier.de/db/conf/asian/asian96.html#IgarashiMSS96}, volume = 1179, year = 1996 }