BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Jump to: Book Section
    Number of items: 2.

    Book Section

    Chen, Taolue and Han, Tingting and Lu, J. (2007) On behavioral metric for probabilistic systems: definition and approximation algorithm. In: Lei, J. (ed.) FSKD 2007: Fourth International Conference on Fuzzy Systems and Knowledge Discovery. IEEE Computer Society, pp. 21-25. ISBN 9780769528748.

    Chen, Taolue and Lu, J. (2007) Probabilistic alternating-time temporal logic and model checking algorithm. In: Lei, J. (ed.) Fourth International Conference on Fuzzy Systems and Knowledge Discovery. IEEE Computer Society, pp. 35-39. ISBN 9780769528748.

    This list was generated on Sun Sep 19 04:32:10 2021 BST.