Invariant properties in a dialog system

K. T. Narayana, Sanjeev Dharap. Invariant properties in a dialog system. In Mark Moriconi, editor, Conference proceedings on Formal methods in software development, Napa, California, USA, May 9-11, 1990. pages 67-79, ACM, 1990. [doi]

Abstract

Abstract is missing.