Rebekka Schlatter, David Knies, Michael Ederer, Oliver Sawodny. Analysis of Boolean Models using Quality Assurance Methods from Software Engineering. In Proceedings of the IEEE International Conference on Control Applications, CCA 2010, Yokohama, Japan, September 8-10, 2010. pages 518-523, IEEE, 2010. [doi]
@inproceedings{SchlatterKES10,
title = {Analysis of Boolean Models using Quality Assurance Methods from Software Engineering},
author = {Rebekka Schlatter and David Knies and Michael Ederer and Oliver Sawodny},
year = {2010},
doi = {10.1109/CCA.2010.5611070},
url = {http://dx.doi.org/10.1109/CCA.2010.5611070},
researchr = {https://researchr.org/publication/SchlatterKES10},
cites = {0},
citedby = {0},
pages = {518-523},
booktitle = {Proceedings of the IEEE International Conference on Control Applications, CCA 2010, Yokohama, Japan, September 8-10, 2010},
publisher = {IEEE},
isbn = {978-1-4244-5362-7},
}