On automatic verification of SLIDE descriptions
John J. Wallace
10.1184/R1/6469094.v1
https://kilthub.cmu.edu/articles/journal_contribution/On_automatic_verification_of_SLIDE_descriptions/6469094
technical report
1979-01-01 00:00:00
Digital electronics.
Synchronization.