%0 Conference Paper %1 conf/birthday/MaidlCM09 %A Maidl, André Murbach %A Carvilhe, Cláudio %A Musicante, Martin A. %B Semantics and Algebraic Specification %D 2009 %E Palsberg, Jens %I Springer %K dblp %P 81-105 %T An Implementation of Object-Oriented Action Semantics in Maude. %U http://dblp.uni-trier.de/db/conf/birthday/mosses2009.html#MaidlCM09 %V 5700 %@ 978-3-642-04163-1

@inproceedings{conf/birthday/MaidlCM09, added-at = {2017-06-01T00:00:00.000+0200}, author = {Maidl, André Murbach and Carvilhe, Cláudio and Musicante, Martin A.}, biburl = {https://www.bibsonomy.org/bibtex/2e107fc4686857c271f563c533f88fb5b/dblp}, booktitle = {Semantics and Algebraic Specification}, crossref = {conf/birthday/2009mosses}, editor = {Palsberg, Jens}, ee = {https://doi.org/10.1007/978-3-642-04164-8_5}, interhash = {efed265ddb838ac2884b992f140fb0fb}, intrahash = {e107fc4686857c271f563c533f88fb5b}, isbn = {978-3-642-04163-1}, keywords = {dblp}, pages = {81-105}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:23.000+0200}, title = {An Implementation of Object-Oriented Action Semantics in Maude.}, url = {http://dblp.uni-trier.de/db/conf/birthday/mosses2009.html#MaidlCM09}, volume = 5700, year = 2009 }