%0 Conference Paper %1 conf/wrla/ArusoaieSER12 %A Arusoaie, Andrei %A Serbanuta, Traian-Florin %A Ellison, Chucky %A Rosu, Grigore %B WRLA %D 2012 %E Durán, Francisco %I Springer %K %P 83-98 %T Making Maude Definitions More Interactive. %U http://dblp.uni-trier.de/db/conf/wrla/wrla2012.html#ArusoaieSER12 %V 7571 %@ 978-3-642-34004-8

@inproceedings{conf/wrla/ArusoaieSER12, added-at = {2023-12-13T03:43:53.000+0100}, author = {Arusoaie, Andrei and Serbanuta, Traian-Florin and Ellison, Chucky and Rosu, Grigore}, biburl = {https://www.bibsonomy.org/bibtex/28b8341d0c745065501db2a65d13310fd/admin}, booktitle = {WRLA}, crossref = {conf/wrla/2012}, editor = {Durán, Francisco}, ee = {https://doi.org/10.1007/978-3-642-34005-5_5}, interhash = {8e53407ed8ec4925822f23d1061cb8dc}, intrahash = {8b8341d0c745065501db2a65d13310fd}, isbn = {978-3-642-34004-8}, keywords = {}, pages = {83-98}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T03:43:53.000+0100}, title = {Making Maude Definitions More Interactive.}, url = {http://dblp.uni-trier.de/db/conf/wrla/wrla2012.html#ArusoaieSER12}, volume = 7571, year = 2012 }