search author

DBLP BibTeX Record 'conf/iclp/BoscoGG84'

@inproceedings{DBLP:conf/iclp/BoscoGG84,
  author    = {Pier Giorgio Bosco and
               G. Giandonato and
               Elio Giovannetti},
  title     = {A Prolog System for the Verification of Concurrent Processes
               Against Temporal Logic Specifications},
  booktitle = {ICLP},
  year      = {1984},
  pages     = {219-229},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}