Conformance Relations for Labeled Event Structures

Hernán Ponce de León, Stefan Haar, Delphine Longuet. Conformance Relations for Labeled Event Structures. In Achim D. Brucker, Jacques Julliand, editors, Tests and Proofs - 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings. Volume 7305 of Lecture Notes in Computer Science, pages 83-98, Springer, 2012. [doi]

Authors

Hernán Ponce de León

This author has not been identified. Look up 'Hernán Ponce de León' in Google

Stefan Haar

This author has not been identified. Look up 'Stefan Haar' in Google

Delphine Longuet

This author has not been identified. Look up 'Delphine Longuet' in Google