Technical Reports

The ICICS/CS Reading Room


UBC CS TR-93-03 Summary

Automatic Synthesis of Sequential Synchronizations, March 1993 Zheng Zhu and Steven D. Johnson, 17 pages

(Abstract not available on-line)


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