@InProceedings{Fontaine2,
  author       = "Pascal Fontaine and E. Pascal Gribomont",
  title        = "Decidability of invariant validation for parameterized
                 systems",
  booktitle    = tacas,
  editor       = "Hubert Garavel and John Hatcliff",
  year         = "2003",
  pages        = "97--112",
  volume       = "2619",
  series       = lncs,
  publisher    = "Springer-Verlag",
}