Paper Info
Title
Finite Models vs Tree Automata in Safety Verification.
Year
Venue
Keywords
2012
RTA
first order logic
DocType
Citations 
PageRank 
Conference
3
0.39
References 
Authors
0
1
Name
Order
Citations
PageRank
Alexei Lisitsa127245.94