External Links

    Journal: Formal Methods in System Design

    Volume 30, Issue 2

    83 -- 116Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford. Providing a formal linkage between MDG and HOL
    117 -- 141L. Feng, W. Murray Wonham, P. S. Thiagarajan. Designing communicating transaction processes by supervisory control theory
    143 -- 176Victor Khomenko, Maciej Koutny. Verification of bounded Petri nets using integer programming
    runs on