A Formal Language for Describing Machine Logic, Timing, and Sequencing (LOTIS)

From MaRDI portal
Publication:5511697