1992
Verification of parallel systems via decomposition
Publication
Publication
Presented at the
International Conference on Concurrency Theory, Stony Brook, NY, USA
Additional Metadata | |
---|---|
, | |
Springer | |
W.R. Cleaveland (Rance) | |
Lecture Notes in Computer Science | |
International Conference on Concurrency Theory | |
Groote, J. F., & Moller, F. (1992). Verification of parallel systems via decomposition. In R. Cleaveland (Ed.), CONCUR \\\ (pp. 62–76). Springer. |