|
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 | Bounded game-theoretic semantics for modal mu-calculus |
Hella, Lauri |
|
289 | PB |
p. |
artikel |
|
| 2 | Comparison of algorithms for simple stochastic games |
Křetínský, Jan |
|
289 | PB |
p. |
artikel |
|
| 3 | Decisiveness of stochastic systems and its application to hybrid models |
Bouyer, Patricia |
|
289 | PB |
p. |
artikel |
|
| 4 | Editorial Board |
|
289 | PB |
p. |
artikel |
||
| 5 | Local higher-order fixpoint iteration |
Bruse, Florian |
|
289 | PB |
p. |
artikel |
|
| 6 | Model checking hyperproperties for Markov decision processes |
Dobe, Oyendrila |
|
289 | PB |
p. |
artikel |
|
| 7 | Special issue: Selected papers of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020) |
Raskin, Jean-François |
|
289 | PB |
p. |
artikel |
|
| 8 | Synthesis in presence of dynamic links |
Bérard, Béatrice |
|
289 | PB |
p. |
artikel |
8 gevonden resultaten