Peter B. Ladkin. Specification of Time Dependencies and Synthesis of Concurrent Processes. In ICSE. pages 106-115, 1987.
@inproceedings{Ladkin87:0, title = {Specification of Time Dependencies and Synthesis of Concurrent Processes}, author = {Peter B. Ladkin}, year = {1987}, researchr = {https://researchr.org/publication/Ladkin87%3A0}, cites = {0}, citedby = {0}, pages = {106-115}, booktitle = {ICSE}, }