Inproceedings,
Verifying fault-tolerant Erlang programs.
C. Earle, L. Fredlund, and J. Derrick.Erlang Workshop, page 26-34. ACM, (2005)
Meta data
- BibTeX key
- conf/erlang/EarleFD05
- entry type
- inproceedings
- booktitle
- Erlang Workshop
- year
- 2005
- pages
- 26-34
- publisher
- ACM
- crossref
- conf/erlang/2005
- ee
- http://doi.acm.org/10.1145/1088361.1088367
- isbn
- 1-59593-066-3
- url
- http://dblp.uni-trier.de/db/conf/erlang/erlang2005.html#EarleFD05
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/erlang/EarleFD05
%A Earle, Clara Benac
%A Fredlund, Lars-Åke
%A Derrick, John
%B Erlang Workshop
%D 2005
%E Sagonas, Konstantinos
%E Armstrong, Joe
%I ACM
%K dblp
%P 26-34
%T Verifying fault-tolerant Erlang programs.
%U http://dblp.uni-trier.de/db/conf/erlang/erlang2005.html#EarleFD05
%@ 1-59593-066-3
@inproceedings{conf/erlang/EarleFD05,
added-at = {2017-06-02T00:00:00.000+0200},
author = {Earle, Clara Benac and Fredlund, Lars-Åke and Derrick, John},
biburl = {https://www.bibsonomy.org/bibtex/271a582f13068d2fcba57f6afb8c98223/dblp},
booktitle = {Erlang Workshop},
crossref = {conf/erlang/2005},
editor = {Sagonas, Konstantinos and Armstrong, Joe},
ee = {http://doi.acm.org/10.1145/1088361.1088367},
interhash = {76917a537d277228a54dfb1667fcf26f},
intrahash = {71a582f13068d2fcba57f6afb8c98223},
isbn = {1-59593-066-3},
keywords = {dblp},
pages = {26-34},
publisher = {ACM},
timestamp = {2017-07-19T11:41:47.000+0200},
title = {Verifying fault-tolerant Erlang programs.},
url = {http://dblp.uni-trier.de/db/conf/erlang/erlang2005.html#EarleFD05},
year = 2005
}