External Links

    Journal: Formal Methods in System Design

    Volume 26, Issue 1

    5 -- 6Doron Peled. Introduction: Special Issue on Partial Order in Formal Methods
    7 -- 25Rajeev Alur, Kenneth L. McMillan, Doron Peled. Deciding Global Partial-Order Properties
    27 -- 43Igor Walukiewicz. Difficult Configurations-On the Complexity of ::::LTrL::::
    45 -- 67Kimmo Varpaaniemi. On Stubborn Sets in the Verification of Linear Time Temporal Properties
    runs on