- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Journal of the Brazilian Computer Society 16 (2010) pp. 35–47 DOI: 10.1007/s13173-010-0004-4
Postprints der Universität Potsdam ; 918
- Event
-
Veröffentlichung
- (where)
-
Potsdam
- (who)
-
Universität Potsdam
- (when)
-
2020
- Creator
- URN
-
urn:nbn:de:kobv:517-opus4-432405
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:54 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
- Margaria, Tiziana
- Steffen, Bernhard
- Kubczak, Christian
- Universität Potsdam
Time of origin
- 2020
Other Objects (12)
Evolution support in heterogeneous service-oriented landscapes : What if your mediation scenario for the semantic web service challenge suddenly runs SAP?
Service-oriented design : the jABC Approach
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
Heterogeneous analysis and verification for distributed systems
A constraint oriented proof methodology based on modal transition systems
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
Evolution support in heterogeneous service-oriented landscapes : What if your mediation scenario for the semantic web service challenge suddenly runs SAP?
Service-oriented design : the jABC Approach
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
Heterogeneous analysis and verification for distributed systems
A constraint oriented proof methodology based on modal transition systems
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
Evolution support in heterogeneous service-oriented landscapes : What if your mediation scenario for the semantic web service challenge suddenly runs SAP?
Service-oriented design : the jABC Approach
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
Heterogeneous analysis and verification for distributed systems
A constraint oriented proof methodology based on modal transition systems
Composition, decomposition and model checking of pushdown processes
Pushdown processes : parallel composition and model checking
Der Herr im Felde! : Soldatenbüchlein