- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-0525
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Characteristic invariants in Hennessy–Milner logic ; volume:57 ; number:3-5 ; day:6 ; month:5 ; year:2020 ; pages:671-687 ; date:10.2020
Acta informatica ; 57, Heft 3-5 (6.5.2020), 671-687, 10.2020
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00236-020-00376-5
- URN
-
urn:nbn:de:101:1-2020071805441531782589
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:45 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Jasper, Marc
- Schlüter, Maximilian
- Steffen, Bernhard
- SpringerLink (Online service)
Other Objects (12)
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten : e. Optimalitätskonzept u. seine Anwendung
Finite model checking and beyond
Composition, decomposition and model checking of pushdown processes
Pushdown processes : parallel composition and model checking
Der Herr im Felde! : Soldatenbüchlein
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
Efficient and optimal bit vector data flow analyses : a uniform interprocedural framework
Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflussanalysegeneratoren
Automatic synthesis of design plans in MetaFrame
Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten : e. Optimalitätskonzept u. seine Anwendung
Finite model checking and beyond
Composition, decomposition and model checking of pushdown processes
Pushdown processes : parallel composition and model checking
Der Herr im Felde! : Soldatenbüchlein
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
Efficient and optimal bit vector data flow analyses : a uniform interprocedural framework
Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflussanalysegeneratoren
Automatic synthesis of design plans in MetaFrame
Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten : e. Optimalitätskonzept u. seine Anwendung
Finite model checking and beyond
Composition, decomposition and model checking of pushdown processes
Pushdown processes : parallel composition and model checking
Der Herr im Felde! : Soldatenbüchlein
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
Efficient and optimal bit vector data flow analyses : a uniform interprocedural framework
Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflussanalysegeneratoren
Automatic synthesis of design plans in MetaFrame