%0 Conference Paper %1 conf/ifl/ArtsN00 %A Arts, Thomas %A Noll, Thomas %B IFL %D 2000 %E Mohnen, Markus %E Koopman, Pieter W. M. %I Springer %K %P 37-52 %T Verifying Generic Erlang Client-Server Implementations. %U http://dblp.uni-trier.de/db/conf/ifl/ifl2000.html#ArtsN00 %V 2011 %@ 3-540-41919-5

@inproceedings{conf/ifl/ArtsN00, added-at = {2023-12-13T04:20:00.000+0100}, author = {Arts, Thomas and Noll, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/21e0263c2118d14a1b004e479f8031f60/admin}, booktitle = {IFL}, crossref = {conf/ifl/2000}, editor = {Mohnen, Markus and Koopman, Pieter W. M.}, ee = {https://doi.org/10.1007/3-540-45361-X_3}, interhash = {94776993d24fc95bbf34e0c17910ce10}, intrahash = {1e0263c2118d14a1b004e479f8031f60}, isbn = {3-540-41919-5}, keywords = {}, pages = {37-52}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:20:00.000+0100}, title = {Verifying Generic Erlang Client-Server Implementations.}, url = {http://dblp.uni-trier.de/db/conf/ifl/ifl2000.html#ArtsN00}, volume = 2011, year = 2000 }