Compressing Transitions for Model Checking.

Robert P. Kurshan, Vladimir Levin, Hsn Yenign

Browse the full CAV paper archive.