External Links

    Journal: Formal Asp. Comput.

    Volume 29, Issue 2

    173 -- 0. Amílcar Sernadas
    175 -- 225Dines Bjørner. Manifest domains: analysis and description
    227 -- 249Qin Li, Graeme Smith. Refining autonomous agents with declarative beliefs and desires
    251 -- 307Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce. An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
    309 -- 334Adrián Riesco, Kazuhiro Ogata, Kokichi Futatsugi. A Maude environment for CafeOBJ
    335 -- 364Wen-ling Huang, Jan Peleska. Complete model-based equivalence class testing for nondeterministic systems
    365 -- 379Kunal Banerjee, Dipankar Sarkar, Chittaranjan A. Mandal. Deriving bisimulation relations from path based equivalence checkers
    runs on