@INPROCEEDINGS{pinchinat00a,
  AUTHOR =	 {Pinchinat, S. and Marchand, H.},
  TITLE =	 {Symbolic Abstractions of Automata},
  BOOKTITLE =	 {Proc of 5th Workshop on Discrete Event Systems,
                  WODES 2000},
  YEAR =	 {2000},
  PAGES =	 {39--48},
  MONTH =	 "August",
  ADDRESS =	 {Ghent, Belgium}
}