| No. |
Title |
Author |
Year |
| 1 |
Front Matter, Table of Contents, Preface, Conference Organization |
Baier, Christel et al. |
2019 |
| 2 |
LIPIcs, Volume 132, ICALP'19, Complete Volume |
Baier, Christel et al. |
2019 |
| 3 |
Composition of Stochastic Transition Systems Based on Spans and Couplings |
Gburek, Daniel et al. |
2016 |
| 4 |
10031 Abstracts Collection -- Quantitative Models: Expressiveness and Analysis |
Baier, Christel et al. |
2010 |
| 5 |
10031 Executive Summary -- Quantitative Models: Expressiveness and Analysis |
Baier, Christel et al. |
2010 |
| 6 |
Recurrence and Transience for Probabilistic Automata |
Tracol, Mathieu et al. |
2009 |
