Name
Year | Venue | Keywords |
|---|---|---|
2010 | FM+AM | equivalence checking,state machine |
Field | DocType | Citations |
Formal equivalence checking,Programming language,Unified Modeling Language,Computer science,Finite-state machine | Conference | 1 |
PageRank | References | Authors |
0.37 | 0 | 6 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Patrick Heckeler | 1 | 4 | 4.17 |
| Jörg Behrend | 2 | 12 | 3.67 |
| Thomas Kropf | 3 | 326 | 59.09 |
| Jürgen Ruf | 4 | 122 | 23.04 |
| Wolfgang Rosenstiel | 5 | 1462 | 212.32 |
| Roland J. Weiss | 6 | 11 | 4.81 |