DBLP Record 'conf/agp/GoriL99'

BibTeX

@inproceedings{DBLP:conf/agp/GoriL99,
  author    = {Roberta Gori and
               Giorgio Levi},
  title     = {On the verification of finite failure},
  booktitle = {APPIA-GULP-PRODE},
  year      = {1999},
  pages     = {197-212},
  crossref  = {DBLP:conf/agp/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/agp/1999,
  editor    = {Maria Chiara Meo and
               Manuel Vilares Ferro},
  title     = {1999 Joint Conference on Declarative Programming, AGP'99,
               L'Aquila, Italy, September 6-9, 1999},
  booktitle = {APPIA-GULP-PRODE},
  year      = {1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}