Technical Reports

The ICICS/CS Reading Room


UBC CS TR-88-19 Summary

Valira/Valisyn-Protocol Validator/Synthesizer User's Manual (Version 1.2), January 1988 Son T. Vuong and T. Lau

(Abstract not available on-line)


If you have any questions or comments regarding this page please send mail to help@cs.ubc.ca.