Warawoot Pacharoen และผู้แต่งคนอื่นๆ. (2012) Conformance verification of finite state machines based on machine inference and model checking. Chulalongkorn University:ม.ป.ท.Warawoot Pacharoen และผู้แต่งคนอื่นๆ. 2012. Conformance verification of finite state machines based on machine inference and model checking. ม.ป.ท.:Chulalongkorn University;Warawoot Pacharoen และผู้แต่งคนอื่นๆ. Conformance verification of finite state machines based on machine inference and model checking. ม.ป.ท.:Chulalongkorn University, 2012. Print.