A tool for efficient protocol validation and testing.

J. Jenny Li, Joseph Robert Horgan

Browse the full ICCCN paper archive.