@inproceedings{c4cb9132dcd84563af7af058da4e6ec7,
title = "An engineering approach for the validation of industrial programming in discrete automation",
author = "A. Lobov and Lastra, {J. L. M.} and R. Tuokko and V. Vyatkin",
note = "ISBN 952-5183-21-1, ISSN 1455-6502<br/>Contribution: organisation=ttek,FACT1=1",
year = "2003",
language = "English",
pages = "377--382",
editor = "R. Tuokko",
booktitle = "Automaatio 03 seminaarip{\"a}iv{\"a}t, Automation Makes it Work - Automaation sovellukset ja k{\"a}ytt{\"o}kokemukset, 9. - 11.9.2003, Helsingin Messukeskus, Helsinki",
publisher = "Suomen Automaatioseura ry",
}