Component-based construction of deadlock-free systems (2003)

Cached

Download Links

by Gregor Gössler , Joseph Sifakis
Venue:IN PROCEEDINGS OF FSTTCS 2003
Citations:19 - 6 self