Deciding Global Partial-Order Properties (bibtex)

by Rajeev Alur and Kenneth L. McMillan and Doron A. Peled

Reference:

Deciding Global Partial-Order Properties (Rajeev Alur and Kenneth L. McMillan and Doron A. Peled), In Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, 1998.

Bibtex Entry:

@inproceedings{DBLP:conf/icalp/AlurMP98,
  author    = {Rajeev Alur and
               Kenneth L. McMillan and
               Doron A. Peled},
  title     = {Deciding Global Partial-Order Properties},
  booktitle = {Automata, Languages and Programming, 25th International Colloquium,
               ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
  pages     = {41--52},
  year      = {1998},
  url       = {ICALP98.pdf},
  doi       = {10.1007/BFb0055039},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/AlurMP98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}