Title
Verification of Dynamic Register Automata.
Year
Venue
Keywords
2014
FSTTCS
computer science
Field
DocType
Citations 
Automata theory,Programming language,Finite set,Computer science,Automaton,Theoretical computer science,ω-automaton
Conference
6
PageRank 
References 
Authors
0.43
25
4
Name
Order
Citations
PageRank
Parosh Aziz Abdulla12010122.22
Mohamed Faouzi Atig250540.94
Ahmet Kara3386.09
Othmane Rezine4263.80