%0 Conference Paper %1 conf/fdl/ForsterFMWB03 %A Förster, Stefan %A Fischer, Marco %A Monjau, Dieter %A Windisch, André %A Balser, Burkhard %B FDL %D 2003 %I ECSI %K dblp %P 525-536 %T Process Algebraic Specification, Refinement, and Verification of Embedded Systems. %U http://dblp.uni-trier.de/db/conf/fdl/fdl2003.html#ForsterFMWB03

@inproceedings{conf/fdl/ForsterFMWB03, added-at = {2020-12-03T00:00:00.000+0100}, author = {Förster, Stefan and Fischer, Marco and Monjau, Dieter and Windisch, André and Balser, Burkhard}, biburl = {https://www.bibsonomy.org/bibtex/280e2a240bc6f452e94136e9ddd8cde8d/dblp}, booktitle = {FDL}, crossref = {conf/fdl/2003}, ee = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=844}, interhash = {c04b602b7997e658904a0bc043571b87}, intrahash = {80e2a240bc6f452e94136e9ddd8cde8d}, keywords = {dblp}, pages = {525-536}, publisher = {ECSI}, timestamp = {2024-04-10T05:55:30.000+0200}, title = {Process Algebraic Specification, Refinement, and Verification of Embedded Systems.}, url = {http://dblp.uni-trier.de/db/conf/fdl/fdl2003.html#ForsterFMWB03}, year = 2003 }