Authors: GODEFROID P PELED D STASKAUSKAS M

Citation: P. Godefroid et al., USING PARTIAL-ORDER METHODS IN THE FORMAL VALIDATION OF INDUSTRIAL CONCURRENT PROGRAMS, IEEE transactions on software engineering, 22(7), 1996, pp. 496-507