Skip to main navigation
Skip to search
Skip to main content
Aalborg University's Research Portal Home
Dansk
English
Home
Profiles
Projects
Publications
Activities
Research units
Facilities
Press/Media
Prizes
Datasets
Impacts
Search by keywords, name or affiliation
Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Mardare, Radu
(Project Participant)
Department of Computer Science
Overview
Fingerprint
Publications
(10)
Press/Media
(1)
Research output
Research output per year
2011
2012
2013
4
Article in proceeding
2
Conference article in Journal
1
Book chapter
1
Conference abstract for conference
2
More
1
Journal article
1
Conference abstract in journal
Research output per year
Research output per year
0 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Search results