@dblp

An Automatic Diagnostic Program Generator for Sequentially Controlled Machines.

, and . Angew. Inform., 24 (8): 421-429 (1982)

Links and resources

Tags