Cristian Calude, Elena Calude
Bisimulations and behaviour of nondeterministic automata
DLT, 1999.
@inproceedings{DLT-1999-CaludeC, author = "Cristian Calude and Elena Calude", booktitle = "{Proceedings of the Fourth International Conference on Developments in Language Theory, Foundations, Applications, and Perspectives}", isbn = "981-02-4380-4", pages = "60--70", publisher = "{World Scientific}", title = "{Bisimulations and behaviour of nondeterministic automata}", year = 1999, }