Name
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/978-3-642-53956-5_14 | FHIES |
Field | DocType | Citations |
On demand,Systems engineering,Automaton,Medical systems,Formal specification,Electronics,Formalism (philosophy),Engineering,Modal,Liveness | Conference | 5 |
PageRank | References | Authors |
0.67 | 14 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Andrew L. King | 1 | 121 | 8.94 |
| Lu Feng | 2 | 6 | 3.06 |
| Oleg Sokolsky | 3 | 2193 | 154.94 |
| Insup Lee | 4 | 4996 | 413.64 |