Show simple item record

Tóth, Tamás
Majzik, István
2021-04-08T08:29:20Z
2021-04-08T08:29:20Z
2017
http://hdl.handle.net/10890/15221
en
Timed Automata Verification using Interpolants
könyvfejezet
Post print
Open access
Budapest University of Technology and Economics
January 30-31, 2017
Budapest
Department of Measurement and Information Systems
Budapest University of Technology and Economics
2017
ISBN 978-963-313-243-2
Budapest University of Technology and Economics
Proceedings of the 24th PhD Mini-Symposium
Konferenciacikk
24th PhD Mini-Symposium (Minisy@DMIS 2017)
82
85


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record