A Simulation Preorder for Abstraction of Reactive Systems.

Ferucio Laurentiu Tiplea, Aurora Tiplea

Browse the full VMCAI paper archive.