Library
local_library
Home Repository
AD
A D'Innocenzo
Academic Work (1)
Conference paper (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
1 records found
1
Robust PCTL model checking
Conference paper (2012) -
A D'Innocenzo (author)
,
A Abate (author)
,
J.P. Katoen (author)
