Hybridization of institutions

Extended version including all proofs

Bibliographic Details
Main Author: Martins, Manuel A. (author)
Other Authors: Madeira, A. (author), Diaconescu, R. (author), Barbosa, L. S. (author)
Format: conferencePaper
Language:eng
Published: 2011
Subjects:
Hybrid logic
Institution theory
formal specification
Online Access:http://hdl.handle.net/1822/15256
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/15256

Internet

http://hdl.handle.net/1822/15256

Similar Items