Verifying a Distributed Database Lookup Manager Written in Erlang

@inproceedings{Arts1999VerifyingAD,
  title={Verifying a Distributed Database Lookup Manager Written in Erlang},
  author={Thomas Arts and Mads Dam},
  booktitle={World Congress on Formal Methods},
  year={1999}
}
Highly Cited
This paper has 40 citations. REVIEW CITATIONS