%0 Conference Paper %1 conf/amast/CodescuMRM10 %A Codescu, Mihai %A Mossakowski, Till %A Riesco, Adrián %A Maeder, Christian %B AMAST %D 2010 %E Johnson, Michael %E Pavlovic, Dusko %I Springer %K %P 60-75 %T Integrating Maude into Hets. %U http://dblp.uni-trier.de/db/conf/amast/amast2010.html#CodescuMRM10 %V 6486 %@ 978-3-642-17795-8

@inproceedings{conf/amast/CodescuMRM10, added-at = {2023-12-13T07:37:24.000+0100}, author = {Codescu, Mihai and Mossakowski, Till and Riesco, Adrián and Maeder, Christian}, biburl = {https://www.bibsonomy.org/bibtex/24e597e159251afe21cda010570c8c4f3/admin}, booktitle = {AMAST}, crossref = {conf/amast/2010}, editor = {Johnson, Michael and Pavlovic, Dusko}, ee = {https://doi.org/10.1007/978-3-642-17796-5_4}, interhash = {bb468717a138723d109227ce0baafbb4}, intrahash = {4e597e159251afe21cda010570c8c4f3}, isbn = {978-3-642-17795-8}, keywords = {}, pages = {60-75}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T07:37:24.000+0100}, title = {Integrating Maude into Hets.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast2010.html#CodescuMRM10}, volume = 6486, year = 2010 }