Logic synthesis avoiding state space explosion /
Khomenko, Victor.
Koutny, Maciej,1958-
Yakovlev, Alex.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2003.
Includes bibliographical references.
Asynchronous circuits
Logic design.
Petri nets.
State-space methods.