%0 Conference Paper %1 conf/sefm/FadlisyahOA11 %A Fadlisyah, Muhammad %A Ölveczky, Peter Csaba %A Ábrahám, Erika %B SEFM %D 2011 %E Barthe, Gilles %E Pardo, Alberto %E Schneider, Gerardo %I Springer %K dblp %P 415-430 %T Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2011.html#FadlisyahOA11 %V 7041 %@ 978-3-642-24689-0

@inproceedings{conf/sefm/FadlisyahOA11, added-at = {2017-06-05T00:00:00.000+0200}, author = {Fadlisyah, Muhammad and Ölveczky, Peter Csaba and Ábrahám, Erika}, biburl = {https://www.bibsonomy.org/bibtex/2f9f07d404257de56ad3ed210b4442bf3/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2011}, editor = {Barthe, Gilles and Pardo, Alberto and Schneider, Gerardo}, ee = {https://doi.org/10.1007/978-3-642-24690-6_29}, interhash = {9243398220583a7de34faa90c02ce0e4}, intrahash = {f9f07d404257de56ad3ed210b4442bf3}, isbn = {978-3-642-24689-0}, keywords = {dblp}, pages = {415-430}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:34:06.000+0200}, title = {Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2011.html#FadlisyahOA11}, volume = 7041, year = 2011 }