- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Universität des Saarlandes, Dissertation, 2019
- Schlagwort
-
Counting
Verifikation
Temporale Logik
Formale Methode
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Saarländische Universitäts- und Landesbibliothek
- (wann)
-
2019
- Urheber
- Beteiligte Personen und Organisationen
-
Finkbeiner, Bernd
- DOI
-
10.22028/D291-30079
- URN
-
urn:nbn:de:bsz:291--ds-300799
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:53 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
- Torfah, Hazem
- Finkbeiner, Bernd
- Saarländische Universitäts- und Landesbibliothek
Entstanden
- 2019
Ähnliche Objekte (12)
Model checking for flat systems and temporal logic with counting
Semiring extensions for model counting and model sampling
A Counting Logic for Structure Transition Systems
Counting on count data models
Reusing d-DNNFs for Efficient Feature-Model Counting
Generalized Eigenvalue-Counting Estimates for the Anderson Model
Reference system for somatic cell counting in milk
Time for Reactive System Modeling
Time for Reactive System Modeling
Model counting of string constraints for probabilistic symbolic execution
Statistical models based on counting processes
Statistical models based on counting processes
Model checking for flat systems and temporal logic with counting
Semiring extensions for model counting and model sampling
A Counting Logic for Structure Transition Systems
Counting on count data models
Reusing d-DNNFs for Efficient Feature-Model Counting
Generalized Eigenvalue-Counting Estimates for the Anderson Model
Reference system for somatic cell counting in milk
Time for Reactive System Modeling
Time for Reactive System Modeling
Model counting of string constraints for probabilistic symbolic execution
Statistical models based on counting processes
Statistical models based on counting processes
Model checking for flat systems and temporal logic with counting
Semiring extensions for model counting and model sampling
A Counting Logic for Structure Transition Systems
Counting on count data models
Reusing d-DNNFs for Efficient Feature-Model Counting
Generalized Eigenvalue-Counting Estimates for the Anderson Model
Reference system for somatic cell counting in milk
Time for Reactive System Modeling
Time for Reactive System Modeling
Model counting of string constraints for probabilistic symbolic execution
Statistical models based on counting processes