Year | DOI | Venue |
---|---|---|
2013 | 10.14279/tuj.eceasst.62.859 | ECEASST |
Field | DocType | Volume |
Graph,Computer science,Theoretical computer science,Dynamic logic (digital electronics),Formalism (philosophy) | Journal | 62 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Till Mossakowski | 1 | 1052 | 90.11 |
Mihai Codescu | 2 | 89 | 12.58 |
Christian Maeder | 3 | 8 | 4.00 |
Bruno Langenstein | 4 | 112 | 8.98 |