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,
}











