Jakobs, Marie-Christine (2020)
CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution).
ETAPS. Dublin, Irland (25.04.2020-30.04.2020)
doi: 10.1007/978-3-030-45234-6_30
Konferenzveröffentlichung, Bibliographie
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2020 |
| Autor(en): | Jakobs, Marie-Christine |
| Art des Eintrags: | Bibliographie |
| Titel: | CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution) |
| Sprache: | Englisch |
| Publikationsjahr: | 2020 |
| Ort: | Cham |
| Verlag: | Springer |
| Buchtitel: | Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020 ; Proceedings |
| Veranstaltungstitel: | ETAPS |
| Veranstaltungsort: | Dublin, Irland |
| Veranstaltungsdatum: | 25.04.2020-30.04.2020 |
| DOI: | 10.1007/978-3-030-45234-6_30 |
| Zusätzliche Informationen: | Lecture Notes in Computer Science ; 12076 |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Semantik und Verifikation paralleler Systeme |
| Hinterlegungsdatum: | 29 Apr 2020 08:58 |
| Letzte Änderung: | 29 Apr 2020 08:58 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum