Comparative Branching Time Semantics for Markov ChainsBaier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena
BASE:
Baier, Christel
;
Hermanns, Holger
;
Katoen, Joost-Pieter
;
Wolf, Verena
Google Scholar: Baier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena Page ViewsYou have found an error? Please let us know about your desired correction here: E-Mail Actions (login required)
|
|