From Quantity to Quality (1997)

by Thomas A. Henzinger , Orna Kupferman
Venue: HYBRID AND REAL-TIME SYSTEMS, LECTURE NOTES IN COMPUTER SCIENCE 1201
Citations:9 - 0 self