Parameterized linear temporal logics meet costs: still not costlier than LTL (Englisch)
- Neue Suche nach: Zimmermann, Martin
- Neue Suche nach: Zimmermann, Martin
In:
Acta Informatica
;
55
, 2
; 129-152
;
2016
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Parameterized linear temporal logics meet costs: still not costlier than LTL
-
Beteiligte:Zimmermann, Martin ( Autor:in )
-
Erschienen in:Acta Informatica ; 55, 2 ; 129-152
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin
-
Erscheinungsdatum:2016
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.00
- Weitere Informationen zu Basisklassifikation
- Neue Suche nach: 020/3155
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis – Band 55, Ausgabe 2
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 89
-
Preface for the special issue GandALF 2015Esparza, Javier / Tronci, Enrico et al. | 2018
- 91
-
Average-energy gamesBouyer, Patricia / Markey, Nicolas / Randour, Mickael / Larsen, Kim G. / Laursen, Simon et al. | 2016
- 129
-
Parameterized linear temporal logics meet costs: still not costlier than LTLZimmermann, Martin et al. | 2016
- 153
-
Reachability analysis of reversal-bounded automata on series–parallel graphsDimitrova, Rayna / Majumdar, Rupak et al. | 2016