Michel Langevin, Eduard Cerny. Comparing Generic State Machines. In Kim Guldstrand Larsen, Arne Skou, editors, Computer Aided Verification, 3rd International Workshop, CAV 91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Volume 575 of Lecture Notes in Computer Science, pages 466-476, Springer, 1991.
@inproceedings{LangevinC91, title = {Comparing Generic State Machines}, author = {Michel Langevin and Eduard Cerny}, year = {1991}, tags = {state machines}, researchr = {https://researchr.org/publication/LangevinC91}, cites = {0}, citedby = {0}, pages = {466-476}, booktitle = {Computer Aided Verification, 3rd International Workshop, CAV 91, Aalborg, Denmark, July, 1-4, 1991, Proceedings}, editor = {Kim Guldstrand Larsen and Arne Skou}, volume = {575}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-55179-4}, }