Sérgio G. Araújo Antônio C. Mesquita Aloysio Pedroza Improvements in FSM Evolutions from Partial Input/Output Sequences. 1265-1272 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3038&spage=1265 2004 conf/iccS/2004-3 International Conference on Computational Science db/conf/iccS/iccS2004-3.html#AraujoMP04