|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
4 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An automated system repair framework with signal temporal logic |
Ergurtuna, Mert |
|
59 | 2-3 |
p. 183-209 |
artikel |
|
| 2 | Correction to: Sound reasoning in tock-CSP |
Baxter, James |
|
59 | 2-3 |
p. 283 |
artikel |
|
| 3 | Proportional lumpability and proportional bisimilarity |
Marin, Andrea |
|
59 | 2-3 |
p. 211-244 |
artikel |
|
| 4 | Regular numeral systems for data structures |
Elmasry, Amr |
|
59 | 2-3 |
p. 245-281 |
artikel |
4 gevonden resultaten