- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: 10.1007/978-3-030-17502-3_10
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2019
- Urheber
-
Giesl, Jürgen
Rubio, Albert
Sternagel, Christian
Waldmann, Johannes
Yamada, Akihisa
- DOI
-
10.18154/RWTH-2019-10551
- URN
-
urn:nbn:de:101:1-2021032315142813736654
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 07:22 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Giesl, Jürgen
- Rubio, Albert
- Sternagel, Christian
- Waldmann, Johannes
- Yamada, Akihisa
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2019
Ähnliche Objekte (12)
Towards complete methods for automatic complexity and termination analysis of (probabilistic) programs
Complexity of consenting for medical termination of pregnancy: prospective and longitudinal study in Paris
Efficient Analysis of VASS Termination Complexity: Q/A Session A - Paper A5.C
Relative Termination
Opportunistic Termination
Opportunistic Termination
Relative termination
The probabilistic termination tool amber
The probabilistic termination tool amber
Mobile termination and collusion, revisited
Automated termination proofs
WACK MCe TERMINATION!
Towards complete methods for automatic complexity and termination analysis of (probabilistic) programs
Complexity of consenting for medical termination of pregnancy: prospective and longitudinal study in Paris
Efficient Analysis of VASS Termination Complexity: Q/A Session A - Paper A5.C
Relative Termination
Opportunistic Termination
Opportunistic Termination
Relative termination
The probabilistic termination tool amber
The probabilistic termination tool amber
Mobile termination and collusion, revisited
Automated termination proofs
WACK MCe TERMINATION!
Towards complete methods for automatic complexity and termination analysis of (probabilistic) programs
Complexity of consenting for medical termination of pregnancy: prospective and longitudinal study in Paris
Efficient Analysis of VASS Termination Complexity: Q/A Session A - Paper A5.C
Relative Termination
Opportunistic Termination
Opportunistic Termination
Relative termination
The probabilistic termination tool amber
The probabilistic termination tool amber
Mobile termination and collusion, revisited
Automated termination proofs