| No. |
Title |
Author |
Year |
| 1 |
Backward Deterministic Büchi Automata on Infinite Words |
Wilke, Thomas |
2018 |
| 2 |
Past, Present, and Infinite Future |
Wilke, Thomas |
2016 |
| 3 |
Author Index |
Portier, Natacha et al. |
2013 |
| 4 |
Frontmatter, Table of Contents, Preface, Workshop Organization |
Portier, Natacha et al. |
2013 |
| 5 |
LIPIcs, Volume 14, STACS'12, Complete Volume |
Dürr, Christoph et al. |
2013 |
| 6 |
LIPIcs, Volume 20, STACS'13, Complete Volume |
Portier, Natacha et al. |
2013 |
| 7 |
Frontmatter, Foreword, Conference Organization, External Reviewers, Table of Contents |
Dürr, Christoph et al. |
2012 |
| 8 |
Unifying Büchi Complementation Constructions |
Fogarty, Seth et al. |
2011 |
