Symbolic Compaction with Analog Constraints (1995)

by E Malavasi, E Felt, E Charbon, A L SangiovanniVincentelli
Venue:Nikos Drakos, Computer Based Learning Unit, University of Leeds