Did you mean: beyersdorffbeyerer

search result

Cover von Part III.; 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
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Volume: Part III.
Series: Lecture notes in computer science : ARCoSS; 11429
Media group: MONOGRAPHIE
OPEN V 11.1.0.0