Architecture-Driven Verification of Concurrent Systems

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

@article{Erdogmus97,
  title = {Architecture-Driven Verification of Concurrent Systems},
  author = {M. Hakan Erdogmus},
  year = {1997},
  tags = {architecture},
  researchr = {https://researchr.org/publication/Erdogmus97},
  cites = {0},
  citedby = {0},
  journal = {Nord. J. Comput.},
  volume = {4},
  number = {4},
  pages = {380},
}