Reachability Problems in Piecewise FIFO Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler. Reachability Problems in Piecewise FIFO Systems. ACM Trans. Comput. Log., 13(1):7, 2012. [doi]

This author has not been identified. Look up 'Naghmeh Ghafari' in GoogleThis author has not been identified. Look up 'Arie Gurfinkel' in GoogleThis author has not been identified. Look up 'Nils Klarlund' in GoogleThis author has not been identified. Look up 'Richard J. Trefler' in Google

runs on WebDSL