Inproceedings,

Logic-based reasoning support for SBVR.

, , and .
CILC, volume 810 of CEUR Workshop Proceedings, page 311-325. CEUR-WS.org, (2011)

Meta data

Tags

Users

  • @reynares.e
  • @dblp

Comments and Reviews