%0 Conference Paper %1 conf/lfcs/ArtemovDN97 %A Artëmov, Sergei N. %A Davoren, Jennifer M. %A Nerode, Anil %B LFCS %D 1997 %E Adian, Sergei I. %E Nerode, Anil %I Springer %K dblp %P 1-8 %T Topological Semantics for Hybrid Systems. %U http://dblp.uni-trier.de/db/conf/lfcs/lfcs1997.html#ArtemovDN97 %V 1234 %@ 3-540-63045-7

@inproceedings{conf/lfcs/ArtemovDN97, added-at = {2017-05-21T00:00:00.000+0200}, author = {Artëmov, Sergei N. and Davoren, Jennifer M. and Nerode, Anil}, biburl = {https://www.bibsonomy.org/bibtex/241e69732dc4ac1c6e5774973f31dc320/dblp}, booktitle = {LFCS}, crossref = {conf/lfcs/1997}, editor = {Adian, Sergei I. and Nerode, Anil}, ee = {https://doi.org/10.1007/3-540-63045-7_1}, interhash = {e0ae7dfa0124b185af69c7a462f7f7cf}, intrahash = {41e69732dc4ac1c6e5774973f31dc320}, isbn = {3-540-63045-7}, keywords = {dblp}, pages = {1-8}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:47:57.000+0200}, title = {Topological Semantics for Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/conf/lfcs/lfcs1997.html#ArtemovDN97}, volume = 1234, year = 1997 }