Probabilistic black-box reachability checking (extended version)

Publikation: Beitrag in einer FachzeitschriftArtikel

Originalspracheenglisch
Seiten (von - bis)416-448
Seitenumfang33
FachzeitschriftFormal methods in system design
Jahrgang54
Ausgabenummer3
Frühes Online-Datum21 Mai 2019
DOIs
PublikationsstatusVeröffentlicht - Nov 2019

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren