@misc{miscda24ad55,
title   = {Generating checking sequences for partial finite state machines},
author = {Simão, Adenilso da Silva and Petrenko, Alexandre},
year = {2008},
publisher = {Springer},
booktitle   = {International Conference, TestCom 2008 - IFIP TC6/WG 6.1}
}