Author Info
Name
Affiliation
Papers
SYBREN ROEDE
Eindhoven Univ Technol, POB 513, NL-5600 MB Eindhoven, Netherlands
1
Collaborators
Citations 
PageRank 
7
2
0.39
Referers 
Referees 
References 
10
27
13
Title
Citations
PageRank
Year
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models.20.392015