An introduction to input/output automata (1989)

by Nancy A. Lynch , Mark R. Tuttle
Venue:CWI Quarterly
Citations:470 - 45 self