%0 Journal Article %1 journals/scp/FadlisyahOA15 %A Fadlisyah, Muhammad %A Ölveczky, Peter Csaba %A Ábrahám, Erika %D 2015 %J Sci. Comput. Program. %K dblp %P 95-127 %T Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships? %U http://dblp.uni-trier.de/db/journals/scp/scp99.html#FadlisyahOA15 %V 99

@article{journals/scp/FadlisyahOA15, added-at = {2021-02-17T00:00:00.000+0100}, author = {Fadlisyah, Muhammad and Ölveczky, Peter Csaba and Ábrahám, Erika}, biburl = {https://www.bibsonomy.org/bibtex/22d4c539e2d30aa2de0fbd73c2f5c5c83/dblp}, ee = {https://doi.org/10.1016/j.scico.2014.06.010}, interhash = {2df1f0b5a81e584f7b6cc7529062edff}, intrahash = {2d4c539e2d30aa2de0fbd73c2f5c5c83}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {95-127}, timestamp = {2024-04-09T05:29:59.000+0200}, title = {Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?}, url = {http://dblp.uni-trier.de/db/journals/scp/scp99.html#FadlisyahOA15}, volume = 99, year = 2015 }