|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Copyful Streaming String Transducers |
Filiot, Emmanuel |
|
178 | 1-2 |
p. 59-76 |
artikel |
|
| 2 | Preface |
Hague, Matthew |
|
178 | 1-2 |
p. v-vi |
artikel |
|
| 3 | Probabilistic Timed Automata with Clock-Dependent Probabilities |
Sproston, Jeremy |
|
178 | 1-2 |
p. 101-138 |
artikel |
|
| 4 | Stubborn Sets, Frozen Actions, and Fair Testing |
Valmari, Antti |
|
178 | 1-2 |
p. 139-172 |
artikel |
|
| 5 | The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic |
Bruse, Florian |
|
178 | 1-2 |
p. 1-30 |
artikel |
|
| 6 | Topological Characterisation of Multi-Buffer Simulation |
Hutagalung, Milka |
|
178 | 1-2 |
p. 77-99 |
artikel |
|
| 7 | Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* |
Cassez, Franck |
|
178 | 1-2 |
p. 31-57 |
artikel |
7 gevonden resultaten
Toegankelijkheidsverklaring