Markus Damm. State Assignment for Detecting Erroneous Transitions in Finite State Machines. In Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August - 1 September 2006, Dubrovnik, Croatia. pages 483-490, IEEE Computer Society, 2006. [doi]
@inproceedings{Damm06:0, title = {State Assignment for Detecting Erroneous Transitions in Finite State Machines}, author = {Markus Damm}, year = {2006}, doi = {10.1109/DSD.2006.85}, url = {http://doi.ieeecomputersociety.org/10.1109/DSD.2006.85}, tags = {state machines}, researchr = {https://researchr.org/publication/Damm06%3A0}, cites = {0}, citedby = {0}, pages = {483-490}, booktitle = {Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August - 1 September 2006, Dubrovnik, Croatia}, publisher = {IEEE Computer Society}, isbn = {0-7695-2609-8}, }