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}
}