@inproceedings{a8650dd30dec47d2a60a6a20681535e2,
title = "Verification of the consistency of timing constraints of the orchestration of factory automation web services",
author = "C. Popescu and {Martinez Lastra}, {J. L.}",
note = "CD-ROM<br/>Contribution: organisation=ttek,FACT1=1; IEEE International Conference on Industrial Informatics ; Conference date: 01-01-1900",
year = "2007",
language = "English",
isbn = "1-4244-0865-2",
pages = "785--790",
booktitle = "INDIN 2007, the 5th International Conference on Industrial Informatics, July 23-27, 2007, Vienna, Austria",
}