Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings.

Claus Schrter, Victor Khomenko

Browse the full CAV paper archive.