Browse by Journal and Volume

Group by: Author(s) | Date | School | No Grouping

Jump to: C

Number of items: 1.

C

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 Wed Jul 9 02:51:18 2025 BST.

Export as	Atom RSS