Escher--a geometrical layout system for recursively defined circuits
journal contribution
posted on 2012-10-01, 00:00 authored by E. M. Clarke, Yulin FengComputer Science Department
History
Publisher Statement
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-34103-8_46Date
2012-10-01Usage metrics
Licence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC