Verifying Generic Erlang Client-Server Implementations (2000)

Cached

Download Links

by Thomas Arts , Thomas Noll
Citations:4 - 3 self