BibTeX record conf/pstv/KurshanPS89

download as .bib file

@inproceedings{DBLP:conf/pstv/KurshanPS89,
  author       = {Robert P. Kurshan and
                  Shlomit S. Pinter and
                  Baruch Solomon},
  editor       = {Ed Brinksma and
                  Giuseppe Scollo and
                  Chris A. Vissers},
  title        = {Extensions of Temporal Logic for Counting with Applications to Model
                  Verification},
  booktitle    = {Protocol Specification, Testing and Verification IX, Proceedings of
                  the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
                  Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
  pages        = {373--386},
  publisher    = {North-Holland},
  year         = {1989},
  timestamp    = {Thu, 03 Jan 2002 12:07:47 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/KurshanPS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics