Login / Signup

Automatic Programming of Finite State Linear Programs.

Amir PnueliGiora Slutzki
Published in: SIAM J. Comput. (1981)
Keyphrases