Search dblp for Publications

export results for ""Book Review The Temporal Logic of Reactive and Concurrent Systems""

 download as .bib file

@article{DBLP:journals/sigact/Sistla93,
  author    = {A. P. Sistla},
  title     = {{BOOK} {REVIEW:} The Temporal Logic of Reactive and Concurrent Systems
               - Specification. By Zohar Manna and Amir Pnueli. (Springer-Verlag,
               1991. xiv+427pp. {ISBN} 0-387-97664-7 . {\textdollar}49.95)},
  journal   = {{SIGACT} News},
  volume    = {24},
  number    = {4},
  pages     = {34--36},
  year      = {1993},
  url       = {https://doi.org/10.1145/164996.990818},
  doi       = {10.1145/164996.990818},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sigact/Sistla93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/Harter93,
  author    = {Paul K. Harter Jr.},
  title     = {Book Review: The Temporal Logic of Reactive and Concurrent Systems,
               Vol. {I} Specification by Zahar Manna and Amir Pnueli},
  journal   = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume    = {27},
  number    = {4},
  pages     = {1--3},
  year      = {1993},
  timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sigops/Harter93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics