%0 Conference Paper %1 conf/ifip5-3/VyatkinH02 %A Vyatkin, Valeriy %A Hanisch, Hans-Michael %B BASYS %D 2002 %E Marík, Vladimír %E Camarinha-Matos, Luis M. %E Afsarmanesh, Hamideh %I Kluwer %K dblp %P 313-322 %T Component Design and Formal Validation of SFA Systems: A Case Study. %U http://dblp.uni-trier.de/db/conf/ifip5-3/basys2002.html#VyatkinH02 %V 229 %@ 1-4020-7211-2

@inproceedings{conf/ifip5-3/VyatkinH02, added-at = {2002-09-20T00:00:00.000+0200}, author = {Vyatkin, Valeriy and Hanisch, Hans-Michael}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2565202d10238536b30b8f79ce3dfa9bd/dblp}, booktitle = {BASYS}, crossref = {conf/ifip5-3/2002}, editor = {Marík, Vladimír and Camarinha-Matos, Luis M. and Afsarmanesh, Hamideh}, interhash = {93b4116a49abd3411f920d84664da650}, intrahash = {565202d10238536b30b8f79ce3dfa9bd}, isbn = {1-4020-7211-2}, keywords = {dblp}, pages = {313-322}, publisher = {Kluwer}, series = {IFIP Conference Proceedings}, timestamp = {2016-02-02T13:10:23.000+0100}, title = {Component Design and Formal Validation of SFA Systems: A Case Study.}, url = {http://dblp.uni-trier.de/db/conf/ifip5-3/basys2002.html#VyatkinH02}, volume = 229, year = 2002 }