Name
Title | ||
|---|---|---|
An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/978-3-319-02444-8_28 | ATVA |
Field | DocType | Citations |
Parameterized complexity,Data domain,Computer science,Atomic sentence,Automaton,Infinity,Theoretical computer science,Decidability,Finite state systems,Rotation formalisms in three dimensions | Conference | 3 |
PageRank | References | Authors |
0.38 | 19 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Orna Grumberg | 1 | 4361 | 351.99 |
| Orna Kupferman | 2 | 3548 | 223.79 |
| Sarai Sheinvald | 3 | 58 | 5.19 |