BibTeX record conf/fct/BhatejaGMK07

• > Home > conf/fct/BhatejaGMK07

@inproceedings{DBLP:conf/fct/BhatejaGMK07,
  author       = {Puneet Bhateja and
                  Paul Gastin and
                  Madhavan Mukund and
                  K. Narayan Kumar},
  editor       = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Local Testing of Message Sequence Charts Is Difficult},
  booktitle    = {Fundamentals of Computation Theory, 16th International Symposium,
                  {FCT} 2007, Budapest, Hungary, August 27-30, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4639},
  pages        = {76--87},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74240-1\_8},
  doi          = {10.1007/978-3-540-74240-1\_8},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BhatejaGMK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}