TarTar : A Timed Automata Repair Tool

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
In: Computer Aided Verification : 32nd International Conference, CAV 2020, Proceedings, Part I / Lahiri, Shuvendu K.; Wang, Chao (Hrsg.). - Cham : Springer International Publishing, 2020. - (Lecture Notes in Computer Science ; 12224). - S. 529-540. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-53287-1
In: CAV: International Conference on Computer Aided Verification : 32nd International Conference, 21. Juli 2020 - 24. Juli 2020, Los Angeles, CA

Ereignis
Veröffentlichung
(wo)
Konstanz
(wer)
KOPS Universität Konstanz
(wann)
2020
Urheber
Kölbl, Martin
Leue, Stefan
Wies, Thomas

URN
urn:nbn:de:bsz:352-2-1wnkg9vtbpcez0
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:45 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Entstanden

  • 2020

Ähnliche Objekte (12)

Tár

Standfoto

Tár

Tár

Standfoto

Tár

Tár

Standfoto

Tár

Tár

Standfoto

Tár

TAR

Graffiti | Streetart

TAR

Tár

Standfoto

Tár

Tár

Standfoto

Tár

Tár

Standfoto

Tár

Tár

Standfoto

Tár

Tár

Plakat

Tár

Tár

Standfoto

Tár

Tár

Standfoto

Tár

Verbundene Objekte