Verfasser Suchresultate :: Subito Katalog

1

Robust Controller Synthesis for Duration Calculus

von Dole, Kalyani
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: