Comparing Formal Specification Languages. Harmelen, F., Mantaras, R. L., Malec, J., Treur, J., Treur, J., & Wetter, T. In Formal Specification of Complex Reasoning Systems, of Workshop Series, pages 257-282. 1992.
@incollection{ ECAI92WS-comp,
  author    = {Frank Harmelen and R. Lopez Mantaras and J. Malec and J. Treur and J. Treur and Th. Wetter},
  title     = {Comparing Formal Specification Languages},
  series   = {Workshop Series},
  booktitle   = {Formal Specification of Complex Reasoning Systems},
  pages   = {257-282} ,
  year   = {1992}

Downloads: 0