TY  - JOUR

T1  - Verifying fault-tolerant Erlang programs

JO  - Erlang'05 - Proceedings of the ACM SIGPLAN 2005 Erlang Workshop

PY  - 2005/01/01

AU  - Earle CB

AU  - Fredlund LA

AU  - Derrick J

ED  - 

DO  - DOI: 10.1145/1088361.1088367

SP  - 26

EP  - 34

Y2  - 2024/12/22

ER  -