%0 Thesis %1 phd/basesearch/Ljungkrantz11 %A Ljungkrantz, Oscar %D 2011 %K %T On Formal Specification and Verification of Function Block Applications in Industrial Control Logic Development.

@phdthesis{phd/basesearch/Ljungkrantz11, added-at = {2023-12-12T18:47:06.000+0100}, author = {Ljungkrantz, Oscar}, biburl = {https://www.bibsonomy.org/bibtex/289476b47b4ab822711c52f6780c5eb9b/admin}, ee = {https://www.base-search.net/Record/0dcfd8bdc4559677d71cc41f61681a6b13d977830d04ae3179d20e46c1682fc3}, interhash = {1735ce4cf874c6aaeb2dcd29e76849bd}, intrahash = {89476b47b4ab822711c52f6780c5eb9b}, keywords = {}, note = {base-search.net (ftchalmersuniv:oai:publications.lib.chalmers.se:146137)}, school = {Chalmers University of Technology, Gothenburg, Sweden}, timestamp = {2023-12-12T18:47:06.000+0100}, title = {On Formal Specification and Verification of Function Block Applications in Industrial Control Logic Development.}, year = 2011 }