Verification with Real-Time COSPAN.

Costas Courcoubetis, David L. Dill, Magda Chatzaki, Panagiotis Tzounakis

Browse the full CAV paper archive.