Architecture-Driven Verification of Concurrent Systems

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

Authors

M. Hakan Erdogmus

This author has not been identified. Look up 'M. Hakan Erdogmus' in Google