%0 Conference Paper %1 conf/hybrid/DInnocenzoBG06 %A D'Innocenzo, Alessandro %A Benedetto, Maria Domenica Di %A Gennaro, Stefano Di %B HSCC %D 2006 %E Hespanha, João P. %E Tiwari, Ashish %I Springer %K dblp %P 169-183 %T Observability of Hybrid Automata by Abstraction. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2006.html#DInnocenzoBG06 %V 3927 %@ 3-540-33170-0

@inproceedings{conf/hybrid/DInnocenzoBG06, added-at = {2022-06-23T00:00:00.000+0200}, author = {D'Innocenzo, Alessandro and Benedetto, Maria Domenica Di and Gennaro, Stefano Di}, biburl = {https://www.bibsonomy.org/bibtex/2a34995506866d324d0aa0bfd91e12a9a/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2006}, editor = {Hespanha, João P. and Tiwari, Ashish}, ee = {https://doi.org/10.1007/11730637_15}, interhash = {5fef3e8688c9e9cd468dd0017bb27f3c}, intrahash = {a34995506866d324d0aa0bfd91e12a9a}, isbn = {3-540-33170-0}, keywords = {dblp}, pages = {169-183}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:55:04.000+0200}, title = {Observability of Hybrid Automata by Abstraction.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2006.html#DInnocenzoBG06}, volume = 3927, year = 2006 }