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

View PDF

Download Links

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