dblp.uni-trier.dewww.uni-trier.de

Anne Dicky

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1993
3 André Arnold, Anne Dicky: Equivalences and Preorders of Transition Systems. MFCS 1993: 20-31
1992
2 André Arnold, Anne Dicky, Maurice Nivat: A note about minimal non-deterministic automata. Bulletin of the EATCS 47: 166-169 (1992)
1989
1 André Arnold, Anne Dicky: An Algebraic Characterization of Transition System Equivalences Inf. Comput. 82(2): 198-229 (1989)

Coauthor Index

1André Arnold [1] [2] [3]
2Maurice Nivat [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)