Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables.

Benjamin Hummel, Judith Thyssen

Browse the full SEFM paper archive.