Synthesis of programs from temporal property specifications.

Amir Pnueli, Uri Klein

Browse the full MEMOCODE paper archive.