Search Results - Dirk Beyer
- Showing 1 - 2 results of 2
-
1
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice... by Dirk Beyer
Published 2018Call Number: Loading…DOAB: download the publication
Located: Loading…
DOAB: description of the publication
Electronic Book Chapter -
2
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice... by Dirk Beyer
Published 2018Call Number: Loading…DOAB: download the publication
Located: Loading…
DOAB: description of the publication
Electronic Book Chapter