136
click to vote
ICCAD
1994
IEEE
15 years 7 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...