Skip to content

Specification of Time Dependencies and Synthesis of Concurrent Processes.

Peter B. Ladkin

VenueA*ICSE
Year1987
ProceedingsICSE

Browse the full ICSE paper archive.