Paper Info
Title
A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process.
Year
Venue
Field
2009
NASA Formal Methods
Programming language,Computer science,Theoretical computer science,Game theoretic,Semantics,Branching (version control)
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Yi Wang14024.80
Tetsuo Tamai233433.27