Name
Year | DOI | Venue |
|---|---|---|
2012 | 10.1007/978-3-642-32759-9_30 | FM |
Field | DocType | Citations |
Underspecification,Physical quantity,Computer science,Correctness,Unsatisfiable core,Theoretical computer science,Cyber-physical system,Gaussian elimination,Modular design,Scalability | Conference | 5 |
PageRank | References | Authors |
0.47 | 13 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Sam Owre | 1 | 1323 | 104.39 |
| Indranil Saha | 2 | 296 | 18.27 |
| Natarajan Shankar | 3 | 3050 | 309.55 |