Structural decomposition

Maria Hultström. Structural decomposition. In Son T. Vuong, Samuel T. Chanson, editors, Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994. Volume 1 of IFIP Conference Proceedings, pages 201-216, Chapman & Hall, 1994.

@inproceedings{Hultstrom94,
  title = {Structural decomposition},
  author = {Maria Hultström},
  year = {1994},
  researchr = {https://researchr.org/publication/Hultstrom94},
  cites = {0},
  citedby = {0},
  pages = {201-216},
  booktitle = {Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994},
  editor = {Son T. Vuong and Samuel T. Chanson},
  volume = {1},
  series = {IFIP Conference Proceedings},
  publisher = {Chapman & Hall},
  isbn = {0-412-63640-9},
}