Synchronized transitions (1990)

by Jrgen Staunstrup, Mark R Greenstreet
Venue:In Jrgen Staunstrup, editor, Formal Methods for VLSI Design, chapter 2