The ICICS/CS Reading Room
UBC CS TR-88-19 Summary
- No on-line copy of this technical report is available.
- 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