%0 Conference Paper %1 conf/hybrid/LafferrierePS98 %A Lafferriere, Gerardo %A Pappas, George J. %A Sastry, Shankar %B HSCC %D 1998 %E Henzinger, Thomas A. %E Sastry, Shankar %I Springer %K dblp %P 205-220 %T Subanalytic Stratifications and Bisimulations. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc98.html#LafferrierePS98 %V 1386 %@ 3-540-64358-3

@inproceedings{conf/hybrid/LafferrierePS98, added-at = {2022-04-25T00:00:00.000+0200}, author = {Lafferriere, Gerardo and Pappas, George J. and Sastry, Shankar}, biburl = {https://www.bibsonomy.org/bibtex/279e04ea0930f52b0760009f7ba25141f/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/1998}, editor = {Henzinger, Thomas A. and Sastry, Shankar}, ee = {https://www.wikidata.org/entity/Q57582205}, interhash = {3e976bbed5e3efeca8cd7b4824a36d06}, intrahash = {79e04ea0930f52b0760009f7ba25141f}, isbn = {3-540-64358-3}, keywords = {dblp}, pages = {205-220}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:54:53.000+0200}, title = {Subanalytic Stratifications and Bisimulations.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc98.html#LafferrierePS98}, volume = 1386, year = 1998 }