Amanote Research
Register
Sign In
Using CSP to Detect Errors in the TMN Protocol
IEEE Transactions on Software Engineering
- United States
doi 10.1109/32.637148
Full Text
Open PDF
Abstract
Available in
full text
Categories
Software
Date
January 1, 1997
Authors
G. Lowe
B. Roscoe
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
