Detecting state coding in STG unfoldings using SAT /
Khomenko, Victor.
Koutny, Maciej,1958-
Yakovlev, A.(Alexandre)
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2003.
"Janaury, 2003."
Caption title.
Includes bibliographical references.
Asynchronous circuits.
Petri nets.
Graph theory.