Showing results 1 to 1 of 1
Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems Park, Jonghun; Reveliotis, SA, IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, v.16, no.2, pp.190 - 195, 2000-04 |
Discover