Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-09099-3_15 | TAP |
Field | DocType | Citations |
Shared variables,Petri net,State information,Commutative property,Computer science,Theoretical computer science,Test execution,Symbolic execution,State capture,Computation tree,Distributed computing | Conference | 4 |
PageRank | References | Authors |
0.45 | 10 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kari Kähkönen | 1 | 4 | 0.45 |
Keijo Heljanko | 2 | 751 | 47.90 |