Pei-Yung Hsiao, Gao Shang. Incrementally verifying automata for fingerprint sensors. In 4th International Conference on Systems and Informatics, ICSAI 2017, Hangzhou, China, November 11-13, 2017. pages 442-447, IEEE, 2017. [doi]
@inproceedings{HsiaoS17, title = {Incrementally verifying automata for fingerprint sensors}, author = {Pei-Yung Hsiao and Gao Shang}, year = {2017}, doi = {10.1109/ICSAI.2017.8248333}, url = {https://doi.org/10.1109/ICSAI.2017.8248333}, researchr = {https://researchr.org/publication/HsiaoS17}, cites = {0}, citedby = {0}, pages = {442-447}, booktitle = {4th International Conference on Systems and Informatics, ICSAI 2017, Hangzhou, China, November 11-13, 2017}, publisher = {IEEE}, isbn = {978-1-5386-1107-4}, }