Valeriy Vyatkin, Hans-Michael Hanisch. Verification of distributed control systems in intelligent manufacturing. J. Intelligent Manufacturing, 14(1):123-136, 2003. [doi]
@article{VyatkinH03, title = {Verification of distributed control systems in intelligent manufacturing}, author = {Valeriy Vyatkin and Hans-Michael Hanisch}, year = {2003}, doi = {10.1023/A%3A1022295414523}, url = {http://dx.doi.org/10.1023/A%3A1022295414523}, researchr = {https://researchr.org/publication/VyatkinH03}, cites = {0}, citedby = {0}, journal = {J. Intelligent Manufacturing}, volume = {14}, number = {1}, pages = {123-136}, }