On identification of input/output extended automata with finite bisimilar quotients.

Changyan ZhouRatnesh Kumar
Published in: ACC (2009)
Keyphrases