Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-06686-8_15 | CSR |
Field | DocType | Citations |
Transition system,Discrete mathematics,Abstraction model checking,Substring,Model checking,Hamiltonian path,Computer science,Partial evaluation,Theoretical computer science,Suffix tree,Longest common substring problem | Conference | 1 |
PageRank | References | Authors |
0.36 | 16 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Milka Hutagalung | 1 | 13 | 3.16 |
Martin Lange | 2 | 447 | 22.83 |