Publications


Filters:


Results for: arXiv preprint arXiv:1010.2823

Partition Refinement of Component Interaction Automata: Why Structure Matters More than Size

M. Lumpe, R. Vasa

2010 / arXiv preprint arXiv:1010.2823