G. Plotkin, и V. Pratt. Partial Order Methods in Verification, том 29 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 117-128. DIMACS/AMS, (1996)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/dimacs/PlotkinP96
%A Plotkin, Gordon D.
%A Pratt, Vaughan R.
%B Partial Order Methods in Verification
%D 1996
%E Peled, Doron A.
%E Pratt, Vaughan R.
%E Holzmann, Gerard J.
%I DIMACS/AMS
%K dblp
%P 117-128
%T Teams can see pomsets.
%U http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#PlotkinP96
%V 29
%@ 978-0-8218-0579-4
@inproceedings{conf/dimacs/PlotkinP96,
added-at = {2022-06-09T00:00:00.000+0200},
author = {Plotkin, Gordon D. and Pratt, Vaughan R.},
biburl = {https://www.bibsonomy.org/bibtex/2c9e7a0ecee643292cfdc21a6de4fa419/dblp},
booktitle = {Partial Order Methods in Verification},
crossref = {conf/dimacs/dimacs29},
editor = {Peled, Doron A. and Pratt, Vaughan R. and Holzmann, Gerard J.},
ee = {https://doi.org/10.1090/dimacs/029/07},
interhash = {a4c3f5803fee4f0574a0f97bdf33eb7a},
intrahash = {c9e7a0ecee643292cfdc21a6de4fa419},
isbn = {978-0-8218-0579-4},
keywords = {dblp},
pages = {117-128},
publisher = {DIMACS/AMS},
series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
timestamp = {2024-04-09T17:59:46.000+0200},
title = {Teams can see pomsets.},
url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#PlotkinP96},
volume = 29,
year = 1996
}