@dblp

Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.

, , and . ISSTA, page 261-269. ACM, (1996)

Links and resources

Tags