Filip Štefaňák

2012

Nikola Beneš, Ivana Černá, and Filip Štefaňák:
Factorization for Component-Interaction Automata,
SOFSEM 2012: Theory and Practice of Computer Science, Springer Berlin Heidelberg, 2012, volume 7147 of Lecture Notes in Computer Science, 554-565. [bibtex, url]