Asger Eir

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2010

2 Dines Bjørner, Asger Eir: Compositionality: Ontology and Mereology of Domains. Concurrency, Compositionality, and Correctness 2010: 22-59

2007

1 Asger Eir: Relating Domain Concepts Intensionally by Ordering Connections. Formal Methods and Hybrid Real-Time Systems 2007: 188-216

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

Coauthor Index

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page