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