Search




Research outputs

A branching time logic with two types of probability operators   [2011]

Ognjanović, Zoran  ; Doder, Dragan ; Marković, Zoran

Filters