Skip to main navigation
Skip to search
Skip to main content
Home
Profiles
Research Units
Research Output
Datasets
Activities
Prizes
Press / Media
Search by expertise, name or affiliation
Automated performance and dependability evaluation using model checking
Katoen, J. P.
(Speaker)
Activity
:
Talk or presentation
›
Oral presentation
Description
Plaats van uitgifte: Rome, Italy
Period
24 Sep 2002
Held at
University of Rome La Sapienza
, Italy
Keywords
METIS-208722