Article,

Vector-clock based partial order reduction for JPF.

, , and .
ACM SIGSOFT Softw. Eng. Notes, 39 (1): 1-5 (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews