Author Info
Name
Papers
Collaborators
ANGELIKA MADER
1
2
Citations 
PageRank 
Referers 
2
0.45
7
Referees 
References 
38
14
Title
Citations
PageRank
Year
Schedulability analysis of timed CSP models using the PAT model checker20.452012