%0 Conference Paper %1 conf/trustcom/LindgrenLPP15 %A Lindgren, Per %A Lindner, Marcus %A Pereira, David %A Pinho, Luís Miguel %B TrustCom/BigDataSE/ISPA (3) %D 2015 %I IEEE %K dblp %P 293-300 %T A Formal Perspective on IEC 61499 Execution Control Chart Semantics. %U http://dblp.uni-trier.de/db/conf/trustcom/trustcom2015-3.html#LindgrenLPP15

@inproceedings{conf/trustcom/LindgrenLPP15, added-at = {2015-12-11T00:00:00.000+0100}, author = {Lindgren, Per and Lindner, Marcus and Pereira, David and Pinho, Luís Miguel}, biburl = {https://www.bibsonomy.org/bibtex/2fdbbc98b1cbc864c51c2352add8a9a1d/dblp}, booktitle = {TrustCom/BigDataSE/ISPA (3)}, crossref = {conf/trustcom/2015-3}, ee = {http://dx.doi.org/10.1109/Trustcom.2015.647}, interhash = {4cb13a5ac75dbd0f8ecb14d8a2452cb5}, intrahash = {fdbbc98b1cbc864c51c2352add8a9a1d}, keywords = {dblp}, note = {978-1-4673-7952-6}, pages = {293-300}, publisher = {IEEE}, timestamp = {2015-12-15T11:55:06.000+0100}, title = {A Formal Perspective on IEC 61499 Execution Control Chart Semantics.}, url = {http://dblp.uni-trier.de/db/conf/trustcom/trustcom2015-3.html#LindgrenLPP15}, year = 2015 }