👤 Hans Juergen Gamauf

A Faster GR(1) Synthesis Algorithm. From a formal specification to a hardware circuit. Hans Juergen Gamauf