- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 54
- Event
-
Veröffentlichung
- (where)
-
Potsdam, Potsdam
- (who)
-
Universität Potsdam, Universitätsverlag Potsdam
- (when)
-
2012
- Creator
- URN
-
urn:nbn:de:kobv:517-opus-55629
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:52 PM CET
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
- Kleine, Matthias
- Hirschfeld, Robert
- Bracha, Gilad
- Universität Potsdam, Universitätsverlag Potsdam
Time of origin
- 2012
Other Objects (12)
An abstraction for version control systems
Constraint-based abstraction of a model checker for infinite state systems
Towards version control in object-based systems
The triconnected abstraction of process models
A network abstraction for control systems
Business process model abstraction : theory and practice
Language control abilities of late bilinguals
A linearized DPLL calculus with clause learning (2nd, revised version)
Symbolic regression for identification, prediction, and control of dynamical systems
A simulation of segregation in cities and its application for the analysis of rent control
The German Banking System
Ressourcenpartitionierung für Grid-Systeme
An abstraction for version control systems
Constraint-based abstraction of a model checker for infinite state systems
Towards version control in object-based systems
The triconnected abstraction of process models
A network abstraction for control systems
Business process model abstraction : theory and practice
Language control abilities of late bilinguals
A linearized DPLL calculus with clause learning (2nd, revised version)
Symbolic regression for identification, prediction, and control of dynamical systems
A simulation of segregation in cities and its application for the analysis of rent control
The German Banking System
Ressourcenpartitionierung für Grid-Systeme
An abstraction for version control systems
Constraint-based abstraction of a model checker for infinite state systems
Towards version control in object-based systems
The triconnected abstraction of process models
A network abstraction for control systems
Business process model abstraction : theory and practice
Language control abilities of late bilinguals
A linearized DPLL calculus with clause learning (2nd, revised version)
Symbolic regression for identification, prediction, and control of dynamical systems
A simulation of segregation in cities and its application for the analysis of rent control
The German Banking System