Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-319-03077-7_23 | Haifa Verification Conference |
Field | DocType | Citations |
Computer science,Scheduling (computing),A priori and a posteriori,Real-time computing,Theoretical computer science,Concurrent computing,Empirical measure,Formal methods,Probabilistic logic,Probabilistic model checking,Speedup | Conference | 0 |
PageRank | References | Authors |
0.34 | 10 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Saddek Bensalem | 1 | 1242 | 106.13 |
Borzoo Bonakdarpour | 2 | 490 | 45.02 |
Marius Bozga | 3 | 2100 | 127.83 |
Doron Peled | 4 | 3357 | 273.18 |
Jean Quilbeuf | 5 | 138 | 12.10 |