![](/img/cover-not-exists.png)
Using partial-order methods in the formal validation of industrial concurrent programs
Godefroid, Patrice, Peled, Doron, Staskauskas, MarkVolume:
21
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/226295.226324
Date:
May, 1996
File:
PDF, 866 KB
english, 1996