A Verification System for Distributed Objects with Asynchronous Method Calls.

Wolfgang Ahrendt, Maximilian Dylla

Browse the full ICFEM paper archive.