Process Algebraic Specification, Refinement, and Verification of Embedded Systems

Stefan Förster | André Windisch | Marco Fischer | Dieter Monjau | Burkhard Balser

---

September 2003

Typ	InProceedings
Quelle	Proceedings of Forum on Specification and Design Languages (FDL'03) S. 525 - 535
Adresse	Frankfurt a. M., Germany
Zusatz	ISSN: 1636-9874
Bibtex	Anzeigen @InProceedings{StFÃAnWiMaFiDiMoBuBa03,      address      = {Frankfurt a. M., Germany},      author       = {Stefan Förster, André Windisch, Marco Fischer, Dieter Monjau, Burkhard Balser},      title        = {Process Algebraic Specification, Refinement, and Verification of Embedded Systems},      note         = {ISSN: 1636-9874},      pages        = {525--535},      month        = {September},      year         = {2003},      booktitle    = {Proceedings of Forum on Specification and Design Languages (FDL'03)}, }