Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the...

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Andere auteurs: Beyer, Dirk (Redacteur), Huisman, Marieke (Redacteur), Kordon, Fabrice (Redacteur), Steffen, Bernhard (Redacteur)
Formaat: Elektronisch Hoofdstuk
Taal:Engels
Gepubliceerd in: Springer Nature 2019
Reeks:Lecture Notes in Computer Science
Onderwerpen:
Online toegang:DOAB: download the publication
DOAB: description of the publication
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items