%0 Journal Article %1 journals/ijmtm/HanischLLTV06 %A Hanisch, Hans-Michael %A Lobov, Andrei %A Lastra, Jose L. Martinez %A Tuokko, Reijo %A Vyatkin, Valeriy %D 2006 %J Int. J. Manuf. Technol. Manag. %K %N 1/2/3 %P 75-106 %T Formal validation of intelligent-automated production systems: towards industrial applications. %U http://dblp.uni-trier.de/db/journals/ijmtm/ijmtm8.html#HanischLLTV06 %V 8

@article{journals/ijmtm/HanischLLTV06, added-at = {2023-12-14T16:57:59.000+0100}, author = {Hanisch, Hans-Michael and Lobov, Andrei and Lastra, Jose L. Martinez and Tuokko, Reijo and Vyatkin, Valeriy}, biburl = {https://www.bibsonomy.org/bibtex/22522f7741f248e89d0684c41f23ace19/admin}, ee = {https://doi.org/10.1504/IJMTM.2006.008802}, interhash = {ffb1412a56b362f3c860bf9f30f2fc89}, intrahash = {2522f7741f248e89d0684c41f23ace19}, journal = {Int. J. Manuf. Technol. Manag.}, keywords = {}, number = {1/2/3}, pages = {75-106}, timestamp = {2023-12-14T16:57:59.000+0100}, title = {Formal validation of intelligent-automated production systems: towards industrial applications.}, url = {http://dblp.uni-trier.de/db/journals/ijmtm/ijmtm8.html#HanischLLTV06}, volume = 8, year = 2006 }