Lecture Notes in Informatics
Software Engineering 2016 P-252, 103-104 (2016).
Gesellschaft für Informatik, Bonn
2016
Copyright © Gesellschaft für Informatik, Bonn
Contents
Home
>
Vol P-252 (2016)
$GR(1)$ synthesis for LTL specification patterns
Shahar Maoz
and Jan Oliver Ringert
Full Text:
PDF
Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-646-6
Last changed 25.02.2016 18:39:20