Merkliste 
 1 Ergebnisse 
 
1

Controlling a random population:

Colcombet, Thomas ; Fijalkow, Nathanaël ; Ohlmann, Pierre
Logical Methods in Computer Science.  17, Issue 4 (2021)  - p. , 2021