|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Correction to: A linear-time branching-time perspective on interface automata |
Vogler, Walter |
|
58 | 6 |
p. 677 |
artikel |
|
| 2 | Correction to: Solving high-level Petri games |
Gieseking, Manuel |
|
58 | 6 |
p. 675-676 |
artikel |
|
| 3 | DKL: an efficient algorithm for learning deterministic Kripke structures |
Mazhar, Rabia |
|
58 | 6 |
p. 611-651 |
artikel |
|
| 4 | Equilibria for games with combined qualitative and quantitative objectives |
Gutierrez, Julian |
|
58 | 6 |
p. 585-610 |
artikel |
|
| 5 | Measuring the constrained reachability in quantum Markov chains |
Xu, Ming |
|
58 | 6 |
p. 653-674 |
artikel |
5 gevonden resultaten