Verification of Timed Asynchronous Programs
Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Krishna, Shankara Narayanan ; Vaidya, Shaan 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- Link zu diesem Datensatz
-
https://d-nb.info/1365950492
- Titel
-
Verification of Timed Asynchronous Programs
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, Shaan Vaidya
- Autor(en)
-
- Abdulla, Parosh Aziz
- Atig, Mohamed Faouzi
- Krishna, Shankara Narayanan
- Vaidya, Shaan
- Verlag
- Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik [2018]
- Jahr
- Erscheinungsdatum: 2018
- Umfang/Format
- Online-Ressource
- DOI
- 10.4230/LIPIcs.FSTTCS.2018.8
- Online
- https://doi.org/10.4230/LIPIcs.FSTTCS.2018.8
- Sprache
- eng
- Schlagwörter
-
- Stand
- 19.05.2025 18:15
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
