- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Lübeck, Universität zu Lübeck, Dissertation, 2021
- Event
-
Veröffentlichung
- (where)
-
Lübeck
- (who)
-
Zentrale Hochschulbibliothek Lübeck
- (when)
-
2022
- Creator
-
Scheffel, Torben
- Contributor
-
Leucker, Martin
Bartocci, Ezio
- URN
-
urn:nbn:de:gbv:841-20210907283
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:22 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
- Scheffel, Torben
- Leucker, Martin
- Bartocci, Ezio
- Zentrale Hochschulbibliothek Lübeck
Time of origin
- 2022
Other Objects (12)
Logics of specification languages
The complexity of concept languages
The complexity of concept languages
The complexity of concept languages
Specification Languages for Preserving Consistency between Models of Different Languages
Specification Languages for Preserving Consistency between Models of Different Languages
Larch : languages and tools for formal specification
Specification Languages for Stutter-Invariant Regular Properties
Languages, methods, and tools for software specification
The complexity of the stream of consciousness
Machines, languages and complexity : selected contributions
Nondeterministic Descriptional Complexity of Regular Languages
Logics of specification languages
The complexity of concept languages
The complexity of concept languages
The complexity of concept languages
Specification Languages for Preserving Consistency between Models of Different Languages
Specification Languages for Preserving Consistency between Models of Different Languages
Larch : languages and tools for formal specification
Specification Languages for Stutter-Invariant Regular Properties
Languages, methods, and tools for software specification
The complexity of the stream of consciousness
Machines, languages and complexity : selected contributions
Nondeterministic Descriptional Complexity of Regular Languages
Logics of specification languages
The complexity of concept languages
The complexity of concept languages
The complexity of concept languages
Specification Languages for Preserving Consistency between Models of Different Languages
Specification Languages for Preserving Consistency between Models of Different Languages
Larch : languages and tools for formal specification
Specification Languages for Stutter-Invariant Regular Properties
Languages, methods, and tools for software specification
The complexity of the stream of consciousness
Machines, languages and complexity : selected contributions