Verifying a Distributed Database Lookup Manager Written in Erlang (1999)

Cached

Download Links

by Thomas Arts , Mads Dam
Citations:18 - 8 self