|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An approach to innocent strategies as graphs |
Curien, Pierre-Louis |
2012 |
214 | C |
p. 119-155 37 p. |
artikel |
|
| 2 | Continuous time temporal logic with counting |
Hirshfeld, Yoram |
2012 |
214 | C |
p. 1-9 9 p. |
artikel |
|
| 3 | Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity |
Fokkink, Wan |
2012 |
214 | C |
p. 59-85 27 p. |
artikel |
|
| 4 | Editorial Board |
2012 |
214 | C |
p. i- 1 p. |
artikel |
||
| 5 | Editorial Board |
2012 |
214 | C |
p. IFC- 1 p. |
artikel |
||
| 6 | Featherweight Jigsaw — Replacing inheritance by composition in Java-like languages |
Lagorio, Giovanni |
2012 |
214 | C |
p. 86-111 26 p. |
artikel |
|
| 7 | Mismatch sampling |
Clifford, Raphaël |
2012 |
214 | C |
p. 112-118 7 p. |
artikel |
|
| 8 | No double discount: Condition-based simultaneity yields limited gain |
Moses, Yoram |
2012 |
214 | C |
p. 47-58 12 p. |
artikel |
|
| 9 | Static slicing of explicitly synchronized languages |
Leuschel, Michael |
2012 |
214 | C |
p. 10-46 37 p. |
artikel |
9 gevonden resultaten