McLean83'

BibTeX

@inproceedings{DBLP:conf/lop/McLean83,
  author    = {John McLean},
  title     = {A Complete System of Temporal Logic for Specification Schemata},
  booktitle = {Logic of Programs},
  year      = {1983},
  pages     = {360-370},
  crossref  = {DBLP:conf/lop/1983},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/lop/1983,
  editor    = {Edmund M. Clarke and
               Dexter Kozen},
  title     = {Logics of Programs, Workshop, Carnegie Mellon University,
               Pittsburgh, PA, USA, June 6-8, 1983, Proceedings},
  booktitle = {Logics of Programs},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {164},
  year      = {1984},
  isbn      = {3-540-12896-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}