Computer supported test generation from SDL specifications

Anders Ek, Jan Ellsberger, Anthony Wiles. Computer supported test generation from SDL specifications. 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 351-358, Chapman & Hall, 1994.

@inproceedings{EkEW94,
  title = {Computer supported test generation from SDL specifications},
  author = {Anders Ek and Jan Ellsberger and Anthony Wiles},
  year = {1994},
  tags = {testing},
  researchr = {https://researchr.org/publication/EkEW94},
  cites = {0},
  citedby = {0},
  pages = {351-358},
  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},
}