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

Marieke Huisman, Stephan Merz, Cristina Seceleanu

Browse the full ISoLA paper archive.