%0 Conference Paper %1 conf/itsc/VermaV11 %A Verma, Rajeev %A Vecchio, Domitilla Del %B ITSC %D 2011 %I IEEE %K dblp %P 1174-1180 %T Control of Hidden Mode Hybrid Systems: Algorithm termination. %U http://dblp.uni-trier.de/db/conf/itsc/itsc2011.html#VermaV11 %@ 978-1-4577-2198-4

@inproceedings{conf/itsc/VermaV11, added-at = {2016-11-21T00:00:00.000+0100}, author = {Verma, Rajeev and Vecchio, Domitilla Del}, biburl = {https://www.bibsonomy.org/bibtex/21a1e74230bd66ba9267defa6c750a777/dblp}, booktitle = {ITSC}, crossref = {conf/itsc/2011}, ee = {http://dx.doi.org/10.1109/ITSC.2011.6083102}, interhash = {ae8e774051ef3702780af5ab9d8542dd}, intrahash = {1a1e74230bd66ba9267defa6c750a777}, isbn = {978-1-4577-2198-4}, keywords = {dblp}, pages = {1174-1180}, publisher = {IEEE}, timestamp = {2016-11-22T11:35:31.000+0100}, title = {Control of Hidden Mode Hybrid Systems: Algorithm termination.}, url = {http://dblp.uni-trier.de/db/conf/itsc/itsc2011.html#VermaV11}, year = 2011 }