A Verification System for Distributed Objects with Asynchronous Method Calls ? Wolfgang Ahrendt1 and Maximilian Dylla12 1 Chalmers University of Technology, Gothenburg, Sweden

First Page		Document Content
Date: 2009-11-10 06:22:36		A Verification System for Distributed Objects with Asynchronous Method Calls ? Wolfgang Ahrendt1 and Maximilian Dylla12 1 Chalmers University of Technology, Gothenburg, Sweden Add to Reading List Source URL: www.cse.chalmers.se Download Document from Source Website File Size: 258,96 KB Share Document on Facebook