Referee's report

Referee's report

on the paper by J. Roehrich "Fast automatic liveness analysis of hierarchical parallel systems"

Authors: 
Organizations: