Hybrid Specification of Reactive Systems: An Institutional Approach.

Alexandre Madeira, Jos M. Faria, Manuel A. Martins, Lus Soares Barbosa

Browse the full SEFM paper archive.