Howard Wong-Toi, David L. Dill. Synthesizing Processes and Schedulers from Temporal Specifications. In Edmund M. Clarke, Robert P. Kurshan, editors, Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990. Volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 177-186, DIMACS/AMS, 1990.
@inproceedings{Wong-ToiD90-0,
title = {Synthesizing Processes and Schedulers from Temporal Specifications},
author = {Howard Wong-Toi and David L. Dill},
year = {1990},
researchr = {https://researchr.org/publication/Wong-ToiD90-0},
cites = {0},
citedby = {0},
pages = {177-186},
booktitle = {Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990},
editor = {Edmund M. Clarke and Robert P. Kurshan},
volume = {3},
series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
publisher = {DIMACS/AMS},
}