Preface to the special issue on Probabilistic Model Checking

Publikation: Beitrag in Fachzeitschrift › Leitartikel (Editorial) › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Seiten (von - bis)121-123
Seitenumfang3
FachzeitschriftFormal Methods in System Design
Jahrgang43
Ausgabenummer2
PublikationsstatusVeröffentlicht - Okt. 2013
Peer-Review-StatusJa

Externe IDs

ORCID /0000-0002-5321-9343/work/228232893

Schlagworte

ASJC Scopus Sachgebiete