|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A delayed promotion policy for parity games |
Benerecetti, Massimo |
2018 |
262 | P2 |
p. 221-240 |
article |
|
| 2 | Cycle detection in computation tree logic |
Fontaine, Gaëlle |
2018 |
262 | P2 |
p. 265-279 |
article |
|
| 3 | Distributed synthesis for parameterized temporal logics |
Jacobs, Swen |
2018 |
262 | P2 |
p. 311-328 |
article |
|
| 4 | Editorial Board |
2018 |
262 | P2 |
p. ii |
article |
||
| 5 | Games, automata, logics and formal verification (GandALF 2016) |
Cantone, Domenico |
2018 |
262 | P2 |
p. 187-188 |
article |
|
| 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 |
article |
|
| 7 | Model checking Markov population models by stochastic approximations |
Bortolussi, Luca |
2018 |
262 | P2 |
p. 189-220 |
article |
|
| 8 | Multi-buffer simulations: Decidability and complexity |
Hutagalung, Milka |
2018 |
262 | P2 |
p. 280-310 |
article |
8 results found