System Description: Verification of Distributed Erlang Programs (1998)

Cached

Download Links

by Thomas Arts , Mads Dam , Lars-åke Fredlund , Dilian Gurov
Venue:IN PROC. CADE'98, LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Citations:4 - 4 self