Synthesis of Multiple Sequential Machines

Edward J. Smith, Zvi Kohavi

Browse the full FOCS paper archive.