Name
Abstract | ||
|---|---|---|
No abstract available.
|
Year | Venue | Field |
|---|---|---|
2018 | HSCC | Model checking,MATLAB,Programming language,Computer science,Automaton,Stateflow |
DocType | ISBN | Citations |
Conference | 978-1-4503-5642-8 | 0 |
PageRank | References | Authors |
0.34 | 1 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Akshay Rajhans | 1 | 85 | 6.34 |
| Srinath Avadhanula | 2 | 320 | 42.38 |
| Alongkrit Chutinan | 3 | 2 | 0.99 |
| Pieter J. Mosterman | 4 | 2 | 0.99 |
| Fu Zhang | 5 | 4 | 2.47 |