|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A delayed promotion policy for parity games |
Benerecetti, Massimo |
2018 |
262 | P2 |
p. 221-240 |
artikel |
|
| 2 | Cycle detection in computation tree logic |
Fontaine, Gaëlle |
2018 |
262 | P2 |
p. 265-279 |
artikel |
|
| 3 | Distributed synthesis for parameterized temporal logics |
Jacobs, Swen |
2018 |
262 | P2 |
p. 311-328 |
artikel |
|
| 4 | Editorial Board |
2018 |
262 | P2 |
p. ii |
artikel |
||
| 5 | Games, automata, logics and formal verification (GandALF 2016) |
Cantone, Domenico |
2018 |
262 | P2 |
p. 187-188 |
artikel |
|
| 6 | Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy |
Bozzelli, Laura |
2018 |
262 | P2 |
p. 241-264 |
artikel |
|
| 7 | Model checking Markov population models by stochastic approximations |
Bortolussi, Luca |
2018 |
262 | P2 |
p. 189-220 |
artikel |
|
| 8 | Multi-buffer simulations: Decidability and complexity |
Hutagalung, Milka |
2018 |
262 | P2 |
p. 280-310 |
artikel |
8 gevonden resultaten