Parallel Model Checking and the FMICS-jETI Platform.

Jiri Barnat, Lubos Brim, Martin Leucker

Browse the full ICECCS paper archive.