Matching Trace Patterns with Regular Policies

Franz Baader, Andreas Bauer 0002, Alwen Tiu. Matching Trace Patterns with Regular Policies. In Adrian Horia Dediu, Armand-Mihai Ionescu, Carlos Martín-Vide, editors, Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings. Volume 5457 of Lecture Notes in Computer Science, pages 105-116, Springer, 2009. [doi]

Authors

Franz Baader

This author has not been identified. Look up 'Franz Baader' in Google

Andreas Bauer 0002

This author has not been identified. Look up 'Andreas Bauer 0002' in Google

Alwen Tiu

This author has not been identified. Look up 'Alwen Tiu' in Google