Author Info
Name
Affiliation
Papers
KAREN HAERVI
Institute for Computer Science, Aalborg University, Aalborg, Denmark
1
Collaborators
Citations 
PageRank 
2
2
0.40
Referers 
Referees 
References 
6
3
1
Title
Citations
PageRank
Year
Verification of the legOS Scheduler using Uppaal20.402000