dblp.uni-trier.dewww.uni-trier.de

Carsta Petersohn

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997
4 Carsta Petersohn, Luis Urbina: A Timed Semantics for the STATEMATE Implementation of Statecharts. FME 1997: 553-572
3 Dirk Scholz, Carsta Petersohn: Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language. ICFEM 1997: 28-37
1995
2 Carsta Petersohn: Formal Method for Event-Triggered Sequential Systems. FORTE 1995: 185-200
1994
1 Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska: Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. EDCC 1994: 59-76

Coauthor Index

1Cornelis Huizing (Kees Huizing) [1]
2Jan Peleska [1]
3Willem P. de Roever [1]
4Dirk Scholz [3]
5Luis Urbina [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)