Merkliste 
 1 Ergebnisse 
 
1

A novel liveness condition for S3PGR2:

Chao, Daniel Y ; Chen, Jiun-Ting ; Yu, Fang
Transactions of the Institute of Measurement and Control.  35 (2012)  2 - p. 131-137 , 2012