%0 Conference Paper %1 conf/memocode/CostaDF16 %A da Costa, Antonio Anastasio Bruto %A Dasgupta, Pallab %A Frehse, Goran %B MEMOCODE %D 2016 %I IEEE %K dblp %P 2-11 %T Formal feature analysis of hybrid automata. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2016.html#CostaDF16 %@ 978-1-5090-2791-0

@inproceedings{conf/memocode/CostaDF16, added-at = {2020-12-29T00:00:00.000+0100}, author = {da Costa, Antonio Anastasio Bruto and Dasgupta, Pallab and Frehse, Goran}, biburl = {https://www.bibsonomy.org/bibtex/232c2ff68445462a0390eb9adefd2ed50/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2016}, ee = {https://doi.org/10.1109/MEMCOD.2016.7797740}, interhash = {958b91aaeae04bdfcea6be383f00d52f}, intrahash = {32c2ff68445462a0390eb9adefd2ed50}, isbn = {978-1-5090-2791-0}, keywords = {dblp}, pages = {2-11}, publisher = {IEEE}, timestamp = {2024-04-10T18:28:23.000+0200}, title = {Formal feature analysis of hybrid automata.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2016.html#CostaDF16}, year = 2016 }