On the costs and benefits of using partial-order methods for the verification of concurrent systems.
P. Godefroid. Partial Order Methods in Verification, volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 289-303. DIMACS/AMS, (1996)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/dimacs/Godefroid96
%A Godefroid, Patrice
%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 289-303
%T On the costs and benefits of using partial-order methods for the verification of concurrent systems.
%U http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#Godefroid96
%V 29
%@ 978-0-8218-0579-4
@inproceedings{conf/dimacs/Godefroid96,
added-at = {2019-07-16T00:00:00.000+0200},
author = {Godefroid, Patrice},
biburl = {https://www.bibsonomy.org/bibtex/2f61bc4197ea35eeb2582ecc068d20c0a/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/16},
interhash = {323bef62c5eed958f4004e59694ebfbc},
intrahash = {f61bc4197ea35eeb2582ecc068d20c0a},
isbn = {978-0-8218-0579-4},
keywords = {dblp},
pages = {289-303},
publisher = {DIMACS/AMS},
series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
timestamp = {2019-07-17T11:39:24.000+0200},
title = {On the costs and benefits of using partial-order methods for the verification of concurrent systems.},
url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#Godefroid96},
volume = 29,
year = 1996
}