A solution of an interleaving decision problem by a partial order technique - researchr publication

researchr

You are not signed in
Sign in
Sign up

Albert R. Meyer, Alexander Moshe Rabinovich. A solution of an interleaving decision problem by a partial order technique. In Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann, editors, Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996. Volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 203-212, DIMACS/AMS, 1996.

Abstract is missing.

runs on WebDSL