External Links

    Journal: Formal Methods in System Design

    Volume 29, Issue 3

    215 -- 251Lars Michael Kristensen, K. Schmidt, Antti Valmari. Question-guided stubborn set methods for state properties
    253 -- 293Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott. Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
    295 -- 344Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook. Data structures for symbolic multi-valued model-checking
    runs on