Title
On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings.
Year
Venue
DocType
2013
FTSCS
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
Andrew Simpson128249.37
Jaco Jacobs2122.31