Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
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)
