Replication, refinement & reachability: complexity in dynamic condition-response graphs

Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

OriginalsprogEngelsk
TidsskriftActa Informatica
Vol/bind55
Sider (fra-til)489–520
ISSN0001-5903
DOI
StatusUdgivet - 1 sep. 2018

ID: 192391691