Burkhard Balser
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2003–2003
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | FDL | A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics. | Marco Fischer, Andr Windisch, Stefan Frster, Burkhard Balser, Dieter Monjau |
| 2003 | FDL | Process Algebraic Specification, Refinement, and Verification of Embedded Systems. | Stefan Frster, Marco Fischer, Dieter Monjau, Andr Windisch, Burkhard Balser |
| 2003 | GI | Modulare Avionik als Grundlage fr Systemdefinition, Systemkonfiguration und Systemkontrolle. | Burkhard Balser, Michael Frster, G. Grabowski |
| 2003 | RSP | A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra. | Stefan Frster, Marco Fischer, Andr Windisch, Burkhard Balser, Dieter Monjau |