Bettina Buth. Formal and semi-formal methods for the analysis of industrial control systems. Volume 15 of BISS monographs, 2001.
@book{0016533, title = {Formal and semi-formal methods for the analysis of industrial control systems}, author = {Bettina Buth}, year = {2001}, researchr = {https://researchr.org/publication/0016533}, cites = {0}, citedby = {0}, volume = {15}, series = {BISS monographs}, }