Sciweavers

IFL
2000
Springer

Verifying Generic Erlang Client-Server Implementations

14 years 4 months ago
Verifying Generic Erlang Client-Server Implementations
Thomas Arts, Thomas Noll
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where IFL
Authors Thomas Arts, Thomas Noll
Comments (0)