Skip to content

On the Synthesis of an Asynchronous Reactive Module.

Amir Pnueli, Roni Rosner

VenueA*ICALP
Year1989
ProceedingsICALP

Browse the full ICALP paper archive.