Smart play-out.

David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli

Browse the full OOPSLA paper archive.