Sciweavers

ICFEM
2009
Springer

A Verification System for Distributed Objects with Asynchronous Method Calls

13 years 10 months ago
A Verification System for Distributed Objects with Asynchronous Method Calls
Wolfgang Ahrendt, Maximilian Dylla
Added 19 Feb 2011
Updated 19 Feb 2011
Type Journal
Year 2009
Where ICFEM
Authors Wolfgang Ahrendt, Maximilian Dylla
Comments (0)