@misc{misc5bd51f38,
title   = {Generation of checking sequences using identification sets},
author = {Porto, Faimison Rodrigues and Endo, André Takeshi and Simão, Adenilso da Silva},
year = {2013},
doi = {10.1007/978-3-642-41202-8_9},
publisher = {Springer-Verlag},
booktitle   = {International Conference on Formal Engineering Methods - ICFEM 2013}
}