Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
H. Jacob
Hao Mao
Peter Malec
Jonathan Levy
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Britto, A.S.
Home
/
Paper
/
Abstraction Refinement for Trace Inclusion of Data Automata.
Paper Info
Open Visualization
Title
Abstraction Refinement for Trace Inclusion of Data Automata.
Year
Venue
DocType
2014
CoRR
Journal
Volume
Citations
PageRank
abs/1410.5056
0
0.34
References
Authors
0
3
Authors (3 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Radu Iosif
1
483
42.44
Adam Rogalewicz
2
153
9.39
Tomás Vojnar
3
136
27.58
1