Year | DOI | Venue |
---|---|---|
1992 | 10.1007/3-540-56496-9_24 | CAV |
Field | DocType | ISBN |
Time domain,Counter machine,Vertex (geometry),Computer science,Algorithm,Reachability,Theoretical computer science,Decidability,Bisimulation,Timer,Undecidable problem | Conference | 3-540-56496-9 |
Citations | PageRank | References |
112 | 17.12 | 6 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Karlis Cerans | 1 | 314 | 48.74 |