%0 Conference Paper %1 journals/entcs/NeuhausserN07 %A Neuhäußer, Martin R. %A Noll, Thomas %B WRLA %D 2006 %E Denker, Grit %E Talcott, Carolyn L. %I Elsevier %K dblp %N 4 %P 147-163 %T Abstraction and Model Checking of Core Erlang Programs in Maude. %U http://dblp.uni-trier.de/db/conf/wrla/wrla2006.html#NeuhausserN07 %V 176

@inproceedings{journals/entcs/NeuhausserN07, added-at = {2021-02-17T00:00:00.000+0100}, author = {Neuhäußer, Martin R. and Noll, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/22e5bd472ccf502a4c544f35b523e2166/dblp}, booktitle = {WRLA}, crossref = {conf/wrla/2006}, editor = {Denker, Grit and Talcott, Carolyn L.}, ee = {https://doi.org/10.1016/j.entcs.2007.06.013}, interhash = {8de4d0f98e6a268e63c00a2474366442}, intrahash = {2e5bd472ccf502a4c544f35b523e2166}, keywords = {dblp}, number = 4, pages = {147-163}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T23:58:09.000+0200}, title = {Abstraction and Model Checking of Core Erlang Programs in Maude.}, url = {http://dblp.uni-trier.de/db/conf/wrla/wrla2006.html#NeuhausserN07}, volume = 176, year = 2006 }