Don Baltus

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil
Synthesis of synchronous assertions with guarded atomic actions. MEMOCODE (2005)