Verification and Validation of Concurrent and Distributed Systems (Track Summary).

Marieke Huisman, Cristina Seceleanu

Browse the full ISoLA paper archive.