Publications

Displaying results 1 to 3 of 3

In: Electronic Proceedings in Theoretical Computer Science (EPTCS) 79 Pages 1-28 ArXiv 2/2012.

To the publication

In: Proceedings of the 6th International Workshop on Modular Ontologies. International Workshop on Modular Ontologies (WoMO-2012) 6th 7th International Conference on Formal Ontology in Information Systems July 24-27 Graz Austria CEUR 875 ISBN ISSN 1613-0073 CEUR Workshop Proceedings 2012.

To the publication

In: Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12) October 15-18 Amirandes, Heraclion, Crete Greece Pages 238-252 Lecture Notes in Computer Science (LNCS) 7609 Springer 10/2012.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz