Verifying a distributed database lookup manager written in Erlang (0)

by T Arts, M Dam
Venue:In Proc. Formal Methods Europe'99, Lecture