@inproceedings{conf/etfa/LuderSTP05,
title = {Formal models for the verification of IEC 61499 function block based control applications.},
author = {Arndt Lüder and Christian Schwab and Marcus Tangermann and Jörn Peschke},
booktitle = {ETFA},
crossref = {conf/etfa/2005},
publisher = {IEEE},
url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2005.html#LuderSTP05},
year = {2005},
description = {dblp},
ee = {http://doi.ieeecomputersociety.org/10.1109/ETFA.2005.1612508}, date = {2007-07-10},
keywords = {dblp }
}
::