The satisfiability problem for probabilistic CTL
- Tomáš Brázdil
- , Vojtěch Forejt
- , Jan Křetínský
- , Antonín Kučera
Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
41
Zitate
(Scopus)