Birkbeck, University of London logo
BIROn - Birkbeck Institutional Research Online

    Browse by Journal and Volume

    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Author(s) | Date | School | No Grouping
    Jump to: 2005
    Number of items: 1.

    2005

    Chen, Taolue and Han, Tingting and Lu, J. (2005) A modal logic for pi-calculus and model checking algorithm. Electronic Notes in Theoretical Computer Science 123 (1), pp. 19-33. ISSN 1571-0661.

    This list was generated on Thu Nov 21 04:39:08 2024 GMT.