Zeev Barzilai, J. Lawrence Carter, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Paper
Stickiness and Liveness
Abstract
No abstract available.
Related
Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
Conference paper
Bases for chain-complete posets
George Markowsky, Barry K. Rosen
FOCS 1975
Barry K. Rosen
Journal of the ACM