Synchronizability for Verification of Asynchronously Communicating Systems

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-27940-9_5 ◽

2012 ◽

pp. 56-71 ◽

Author(s):

Samik Basu ◽

Tevfik Bultan ◽

Meriem Ouederni

Download Full-text