 | 2003 |
|---|
| 3 |       | M. Fischer,
André Windisch,
Stefan Förster,
B. Balser,
Dieter Monjau:
A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics.
FDL 2003: 447-456 |
| 2 | | Stefan Förster,
M. Fischer,
Dieter Monjau,
André Windisch,
B. Balser:
Process Algebraic Specification, Refinement, and Verification of Embedded Systems.
FDL 2003: 525-536 |
| 1 | | Stefan Förster,
M. Fischer,
André Windisch,
B. Balser,
Dieter Monjau:
A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra.
IEEE International Workshop on Rapid System Prototyping 2003: 26-32 |
