Interactive resolution of encoding conflicts in asynchronous circuits based on STG unfoldings /
Madalinski, Agnes.
Khomenko, Victor.
Yakovlev, Alex.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2006.
Caption title.