BibTeX record conf/fossacs/NarasimhaCI99

download as .bib file

@inproceedings{DBLP:conf/fossacs/NarasimhaCI99,
  author    = {Murali Narasimha and
               Rance Cleaveland and
               S. Purushothaman Iyer},
  editor    = {Wolfgang Thomas},
  title     = {Probabilistic Temporal Logics via the Modal Mu-Calculus},
  booktitle = {Foundations of Software Science and Computation Structure, Second
               International Conference, FoSSaCS'99, Held as Part of the European
               Joint Conferences on the Theory and Practice of Software, ETAPS'99,
               Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1578},
  pages     = {288--305},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-49019-1\_20},
  doi       = {10.1007/3-540-49019-1\_20},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/conf/fossacs/NarasimhaCI99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics