Marco Fischer, Stefan Förster, André Windisch, Burkhard Balser, Dieter Monjau. A New Process-Algebraic Specification Methodology for Integrated Modular Avionic Systems. In Rolf Drechsler, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003. pages 21-29, Shaker, 2003.
@inproceedings{FischerFWBM03,
title = {A New Process-Algebraic Specification Methodology for Integrated Modular Avionic Systems},
author = {Marco Fischer and Stefan Förster and André Windisch and Burkhard Balser and Dieter Monjau},
year = {2003},
researchr = {https://researchr.org/publication/FischerFWBM03},
cites = {0},
citedby = {0},
pages = {21-29},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003},
editor = {Rolf Drechsler},
publisher = {Shaker},
}