Synthesis of Asynchronous State Machines Using A Local Clock.

Steven M. Nowick, David L. Dill

Browse the full ICCD paper archive.