%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 dblp %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 = {2020-06-04T00:00:00.000+0200}, 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/dblp}, ee = {https://doi.org/10.1504/IJMTM.2006.008802}, interhash = {ffb1412a56b362f3c860bf9f30f2fc89}, intrahash = {2522f7741f248e89d0684c41f23ace19}, journal = {Int. J. Manuf. Technol. Manag.}, keywords = {dblp}, number = {1/2/3}, pages = {75-106}, timestamp = {2020-06-05T12:18:24.000+0200}, 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 }