BibTeX record conf/fsttcs/MeydenS99

• > Home > conf/fsttcs/MeydenS99

@inproceedings{DBLP:conf/fsttcs/MeydenS99,
  author       = {Ron van der Meyden and
                  Nikolay V. Shilov},
  editor       = {C. Pandu Rangan and
                  Venkatesh Raman and
                  Ramaswamy Ramanujam},
  title        = {Model Checking Knowledge and Time in Systems with Perfect Recall (Extended
                  Abstract)},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1738},
  pages        = {432--445},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-46691-6\_35},
  doi          = {10.1007/3-540-46691-6\_35},
  timestamp    = {Tue, 15 Feb 2022 08:52:42 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/MeydenS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}