%0 Book %1 books/sp/Godefroid96 %A Godefroid, Patrice %B Lecture Notes in Computer Science %D 1996 %I Springer %K dblp %T Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem %V 1032 %@ 3-540-60761-7

@book{books/sp/Godefroid96, added-at = {2019-05-14T00:00:00.000+0200}, author = {Godefroid, Patrice}, biburl = {https://www.bibsonomy.org/bibtex/20cb477b9c641cd69753911e99d405a8d/dblp}, ee = {https://doi.org/10.1007/3-540-60761-7}, interhash = {2772e6eb129d1f7a37458dae66301606}, intrahash = {0cb477b9c641cd69753911e99d405a8d}, isbn = {3-540-60761-7}, keywords = {dblp}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:53:07.000+0200}, title = {Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem}, volume = 1032, year = 1996 }