OXFORD UNIVERSITY COMPUTING LABORATORY

Using CSP to detect errors in the TMN protocol

A. W. Roscoe and G. Lowe

info

institution

University of Leicester

note

and IEEE transactions on Software Engineering Vol 23 (1997)

year

1996

links

BibTeX

Link (ps)

related pages

people

Random Image
Random Image
Random Image