%0 Journal Article %1 journals/entcs/VolkerK99 %A Völker, Norbert %A Krämer, Bernd J. %D 1999 %J Electron. Notes Theor. Comput. Sci. %K dblp %P 97-110 %T Automated Verification of Function Block Based Industrial Control Systems. %U http://dblp.uni-trier.de/db/journals/entcs/entcs25.html#VolkerK99 %V 25

@article{journals/entcs/VolkerK99, added-at = {2020-02-24T00:00:00.000+0100}, author = {Völker, Norbert and Krämer, Bernd J.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29a7cb2b0de57d79e74015f7856bfd1e0/dblp}, ee = {https://doi.org/10.1016/S1571-0661(04)00135-5}, interhash = {f752384c05b134873070a2d7ca828885}, intrahash = {9a7cb2b0de57d79e74015f7856bfd1e0}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {dblp}, pages = {97-110}, timestamp = {2020-04-20T13:07:02.000+0200}, title = {Automated Verification of Function Block Based Industrial Control Systems.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs25.html#VolkerK99}, volume = 25, year = 1999 }