Mixed Transition Systems Revisited.

Ou Wei, Arie Gurfinkel, Marsha Chechik

Browse the full VMCAI paper archive.