A.: Coalgebraic Logic and Synthesis of Mealy Machines

by M. M. Bonsangue , Jan Rutten , Ra Silva
Citations:9 - 6 self