%0 Conference Paper %1 journals/entcs/FadlisyahOA11 %A Fadlisyah, Muhammad %A Ölveczky, Peter Csaba %A Ábrahám, Erika %B TTSS %D 2010 %E Zhang, Min %E Stolz, Volker %I Elsevier %K dblp %P 17-32 %T Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. %U http://dblp.uni-trier.de/db/journals/entcs/entcs274.html#FadlisyahOA11 %V 274

@inproceedings{journals/entcs/FadlisyahOA11, added-at = {2023-03-10T00:00:00.000+0100}, author = {Fadlisyah, Muhammad and Ölveczky, Peter Csaba and Ábrahám, Erika}, biburl = {https://www.bibsonomy.org/bibtex/266edf5a75d7184201d53e4d0ec180b20/dblp}, booktitle = {TTSS}, crossref = {conf/ttss/2010}, editor = {Zhang, Min and Stolz, Volker}, ee = {https://www.wikidata.org/entity/Q113318252}, interhash = {fd81ea7e9d2588d20f735d6318c27666}, intrahash = {66edf5a75d7184201d53e4d0ec180b20}, keywords = {dblp}, pages = {17-32}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T22:51:59.000+0200}, title = {Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs274.html#FadlisyahOA11}, volume = 274, year = 2010 }