Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-642-54862-8_20 | TACAS |
Field | DocType | Citations |
Query language,Computer science,Automaton,Theoretical computer science,Timed automaton,Equivalence class,Valuation (finance) | Conference | 3 |
PageRank | References | Authors |
0.39 | 22 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Christian Herrera | 1 | 18 | 2.42 |
Bernd Westphal | 2 | 43 | 8.45 |
Andreas Podelski | 3 | 2760 | 197.87 |