A.: Coalgebraic Logic and Synthesis of Mealy Machines

by M. M. Bonsangue , Jan Rutten , Ra Silva
Citations:10 - 7 self