Merkliste 
 1 Ergebnisse 
 
1

Transition-based deadlock control policy using reachability..:

Zhang, Xiuyan ; Uzam, Murat
Advances in Mechanical Engineering.  8 (2016)  2 - p. 168781401663150 , 2016