Verification of Hierarchical State/Event Systems Using Reusability and Compositionality.

Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jrn Lind-Nielsen

Browse the full TACAS paper archive.