%0 Conference Paper %1 conf/asian/MizutaniITS97 %A Mizutani, Tetsuya %A Igarashi, Shigeru %A Tomita, Kohji %A Shio, Masayuki %B ASIAN %D 1997 %E Shyamasundar, R. K. %E Ueda, Kazunori %I Springer %K dblp %P 110-120 %T Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis. %U http://dblp.uni-trier.de/db/conf/asian/asian97.html#MizutaniITS97 %V 1345 %@ 3-540-63875-X

@inproceedings{conf/asian/MizutaniITS97, added-at = {2017-05-23T00:00:00.000+0200}, author = {Mizutani, Tetsuya and Igarashi, Shigeru and Tomita, Kohji and Shio, Masayuki}, biburl = {https://www.bibsonomy.org/bibtex/2ef97209d2efce69c55a5d534969e6518/dblp}, booktitle = {ASIAN}, crossref = {conf/asian/1997}, editor = {Shyamasundar, R. K. and Ueda, Kazunori}, ee = {https://doi.org/10.1007/3-540-63875-X_47}, interhash = {b5eb880c98bcdae882da6a56ebaaf074}, intrahash = {ef97209d2efce69c55a5d534969e6518}, isbn = {3-540-63875-X}, keywords = {dblp}, pages = {110-120}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:19:13.000+0200}, title = {Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis.}, url = {http://dblp.uni-trier.de/db/conf/asian/asian97.html#MizutaniITS97}, volume = 1345, year = 1997 }