DMCA

The FLaSH Project: Resource-Aware Synthesis of Declarative Specifications (2000)

by Alan Mycroft , Richard Sharp
Venue:Proceedings of the International Workshop on Logic Synthesis
Citations:7 - 5 self