Factorization for Component-Interaction Automata.

Nikola Benes, Ivana Cern, Filip Stefanak

Browse the full SOFSEM paper archive.