@InProceedings{l98-p88-101,
  AUTHOR    = {Marcos Peixoto~Veloso and Laurent Fribourg},
  TITLE     = {Unfolding Parametric Automata},
  YEAR      = 1998,
  BOOKTITLE = {Proc.~of the 3rd Latin American Symposium on Theoretical Informatics (LATIN'98)},
  ADDRESS   = {Campinas, Brazil},
  PAGES     = {88--101},
  KEYWORDS  = {}}