Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.

Pavel Parzek, Tomas Kalibera

Browse the full FMICS paper archive.