Architecture-Driven Verification of Concurrent Systems

M. Hakan Erdogmus. Architecture-Driven Verification of Concurrent Systems. Nord. J. Comput., 4(4):380, 1997.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.