Title
Towards Verified Java Code Generation from Concurrent State Machines.
Year
Venue
Field
2014
AMT@MoDELS
Atomicity,Synchronization,Programming language,Computer science,Concurrency,Java concurrency,Modeling language,Real time Java,Finite-state machine,Java
DocType
Citations 
PageRank 
Conference
2
0.39
References 
Authors
2
7
Name
Order
Citations
PageRank
Dan Zhang141.79
Dragan Bosnacki227626.95
Mark Van Den Brand31298110.20
Luc Engelen4857.70
Cornelis Huizing58520.56
Ruurd Kuiper6566105.58
Anton Wijs720322.84