Titel |
Modeling ℝ³ needle steering in Uppaal / Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Anton Reinecke, Alexander Schlaefer, Sibylle Schupp |
|---|---|
Beteiligt |
Sascha Lehmann (Verfasser)
Antje Rogalla (Verfasser) Maximilian Neidhardt (Verfasser) Anton Reinecke (Verfasser) |
Erschienen |
Hamburg: Universitätsbibliothek der Technischen Universität Hamburg |
Umfang |
Online-Ressource |
Sprache |
|
Land |
|
Themengebiet |
|
DDC-Notation |
|
Persistent Identifier |
urn:nbn:de:gbv:830-882.0181391 (URN) |
Weitere Angaben |
In: Electronic proceedings in theoretical computer science 355: 40-59 (2022) |
Datensatz-ID |
1270571699 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: