Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Automated quantitative software verification with PRISM
Kwiatkowska, Marta
(Principal Investigator)
Computer Science
Overview
Fingerprint
Research output
(4)
Research output
Research output per year
2008
2008
2009
2010
2010
2
Article
1
Conference contribution
1
Chapter (peer-reviewed)
Research output per year
Research output per year
0 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Search results