6 citations · 15 across the 12 of their papers we have counts for
1 paper · 1 filter
Eunsuk Kang, Stephane Lafortune, Stavros Tripakis
System development often involves decisions about how a high-level design is to be implemented using primitives from a low-level platform. Certain decisions, however, may introduce…