Paper Info
Title
Rabinizer 2: Small Deterministic Automata for LTL ∖ GU.
Year
Venue
DocType
2013
ATVA
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
Jan Kretínský115916.02
Ruslán Ledesma-Garza250.78