%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 }