BibTeX
@inproceedings{DBLP:conf/erlang/RoyNRC06,
author = {Chanchal Kumar Roy and
Thomas Noll and
Banani Roy and
James R. Cordy},
title = {Towards automatic verification of Erlang programs by pi-calculus
translation},
booktitle = {Erlang Workshop},
year = {2006},
pages = {38-50},
ee = {http://doi.acm.org/10.1145/1159789.1159798},
crossref = {DBLP:conf/erlang/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/erlang/2006,
editor = {Marc Feeley and
Philip W. Trinder},
title = {Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang,
Portland, Oregon, USA, September 16, 2006},
booktitle = {Erlang Workshop},
publisher = {ACM},
year = {2006},
isbn = {1-59593-490-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2008-04-02 by Michael Ley (ley@uni-trier.de)