245 followers
Probabilistic Bisimulation for Realistic Schedulers. - Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns,… http://t.co/1llV7FPdih
Probabilistic Bisimulation for Realistic Schedulers. - Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns,… http://t.co/1llV7FPdih