BibTeX record journals/sigact/Sistla93

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 18:20:43 +0200},
  biburl    = {https://dblp.org/rec/journals/sigact/Sistla93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics