Asger Eir

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Publications

Dines Bjørner, Asger Eir
Compositionality: Ontology and Mereology of Domains. Concurrency, Compositionality, and Correctness (2010)
Asger Eir
Relating Domain Concepts Intensionally by Ordering Connections. Formal Methods and Hybrid Real-Time Systems (2007)