Formalising control in robust spoken dialogue systems (2005)

by H Shi, R J Ross, J Bateman
Venue:In Software Engineering & Formal Methods 2005