Rajeev Alur, Kenneth L. McMillan, Doron Peled. Deciding Global Partial-Order Properties. Formal Methods in System Design, 26(1):7-25, 2005. [doi]
@article{AlurMP05, title = {Deciding Global Partial-Order Properties}, author = {Rajeev Alur and Kenneth L. McMillan and Doron Peled}, year = {2005}, url = {http://www.springerlink.com/index/10.1007/s10703-005-4592-0}, researchr = {https://researchr.org/publication/AlurMP05}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {26}, number = {1}, pages = {7-25}, }