@inproceedings{6e6939a3c237486f9c44fc2027506c44,
title = "Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications",
author = "Sandeep Patil and Dmitry Drozdov and Victor Dubinin and Valeriy Vyatkin",
year = "2015",
language = "English",
isbn = "978-3-319-16765-7",
publisher = "Springer",
editor = "Camarinha-Matos, {L. M.} and Baldissera, {T. A.} and {Di Orio}, G. and F. Marques",
booktitle = "Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015",
address = "Germany",
}