Process Algebraic Specification, Refinement, and Verification of Embedded Systems.

Stefan Frster, Marco Fischer, Dieter Monjau, Andr Windisch, Burkhard Balser

Browse the full FDL paper archive.