Inproceedings,

On the costs and benefits of using partial-order methods for the verification of concurrent systems.

.
Partial Order Methods in Verification, volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 289-303. DIMACS/AMS, (1996)

Meta data

Tags

Users

  • @dblp

Comments and Reviews