Publications

Displaying results 1 to 2 of 2

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

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

To the publication

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