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/issta/GodefroidPS96
%A Godefroid, Patrice
%A Peled, Doron A.
%A Staskauskas, Mark G.
%B ISSTA
%D 1996
%E Zeil, Steve J.
%E Tracz, Will
%I ACM
%K dblp
%P 261-269
%T Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.
%U http://dblp.uni-trier.de/db/conf/issta/issta96.html#GodefroidPS96
%@ 0-89791-787-1
@inproceedings{conf/issta/GodefroidPS96,
added-at = {2022-08-16T00:00:00.000+0200},
author = {Godefroid, Patrice and Peled, Doron A. and Staskauskas, Mark G.},
biburl = {https://www.bibsonomy.org/bibtex/260c772f4109486626eb9a8ecb68d1c1d/dblp},
booktitle = {ISSTA},
crossref = {conf/issta/1996},
editor = {Zeil, Steve J. and Tracz, Will},
ee = {https://www.wikidata.org/entity/Q111901339},
interhash = {2f3862718e307586f9f8a071024fa7db},
intrahash = {60c772f4109486626eb9a8ecb68d1c1d},
isbn = {0-89791-787-1},
keywords = {dblp},
pages = {261-269},
publisher = {ACM},
timestamp = {2024-04-09T20:41:19.000+0200},
title = {Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.},
url = {http://dblp.uni-trier.de/db/conf/issta/issta96.html#GodefroidPS96},
year = 1996
}