Efficient Verification of Parallel Real-Time Systems.

Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke

Browse the full CAV paper archive.