%0 Conference Paper %1 conf/indin/LindgrenLPP16 %A Lindgren, Per %A Lindner, Marcus %A Pereira, David %A Pinho, Luís Miguel %B INDIN %D 2016 %I IEEE %K dblp %P 132-141 %T Contract based verification of IEC 61499. %U http://dblp.uni-trier.de/db/conf/indin/indin2016.html#LindgrenLPP16 %@ 978-1-5090-2870-2

@inproceedings{conf/indin/LindgrenLPP16, added-at = {2018-11-02T00:00:00.000+0100}, author = {Lindgren, Per and Lindner, Marcus and Pereira, David and Pinho, Luís Miguel}, biburl = {https://www.bibsonomy.org/bibtex/235f9162d574579388c6463889997bb8e/dblp}, booktitle = {INDIN}, crossref = {conf/indin/2016}, ee = {https://doi.org/10.1109/INDIN.2016.7819147}, interhash = {fa67a5291e6871eea6ba5345205df2c0}, intrahash = {35f9162d574579388c6463889997bb8e}, isbn = {978-1-5090-2870-2}, keywords = {dblp}, pages = {132-141}, publisher = {IEEE}, timestamp = {2018-11-03T16:18:53.000+0100}, title = {Contract based verification of IEC 61499.}, url = {http://dblp.uni-trier.de/db/conf/indin/indin2016.html#LindgrenLPP16}, year = 2016 }