Synthesizing Processes and Schedulers from Temporal Specifications.
H. Wong-Toi, и D. Dill. CAV (DIMACS/AMS volume), том 3 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 177-186. DIMACS/AMS, (1990)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/dimacs/Wong-ToiD90
%A Wong-Toi, Howard
%A Dill, David L.
%B CAV (DIMACS/AMS volume)
%D 1990
%E Clarke, Edmund M.
%E Kurshan, Robert P.
%I DIMACS/AMS
%K dblp
%P 177-186
%T Synthesizing Processes and Schedulers from Temporal Specifications.
%U http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html#Wong-ToiD90
%V 3
%@ 978-0-8218-6594-1
@inproceedings{conf/dimacs/Wong-ToiD90,
added-at = {2022-06-09T00:00:00.000+0200},
author = {Wong-Toi, Howard and Dill, David L.},
biburl = {https://www.bibsonomy.org/bibtex/27f1196977f479d044de38e3a7cb466d8/dblp},
booktitle = {CAV (DIMACS/AMS volume)},
crossref = {conf/dimacs/1990a},
editor = {Clarke, Edmund M. and Kurshan, Robert P.},
ee = {https://doi.org/10.1090/dimacs/003/13},
interhash = {6c7305d864d7c3c89b6774e9f3ea677f},
intrahash = {7f1196977f479d044de38e3a7cb466d8},
isbn = {978-0-8218-6594-1},
keywords = {dblp},
pages = {177-186},
publisher = {DIMACS/AMS},
series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
timestamp = {2024-04-09T17:59:14.000+0200},
title = {Synthesizing Processes and Schedulers from Temporal Specifications.},
url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html#Wong-ToiD90},
volume = 3,
year = 1990
}
