Amanote Research
Register
Sign In
An Efficient Representation for Formal Synthesis
doi 10.1109/isss.1997.621670
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
C. Blumenrohr
D. Eisenbiegler
Publisher
IEEE Comput. Soc
