External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Identifying Anomalies in SBVR-based Business Rules using Directed Graphs and SMT-LIBv2

Sayandeep Mitra, Kritika Anand, Pavan Kumar Chittimalli. Identifying Anomalies in SBVR-based Business Rules using Directed Graphs and SMT-LIBv2. In Slimane Hammoudi, Michal Smialek, Olivier Camp, Joaquim Filipe, editors, Proceedings of the 20th International Conference on Enterprise Information Systems, ICEIS 2018, Funchal, Madeira, Portugal, March 21-24, 2018, Volume 2. pages 215-222, SciTePress, 2018. [doi]

Authors

Sayandeep Mitra

This author has not been identified. Look up 'Sayandeep Mitra' in Google

Kritika Anand

This author has not been identified. Look up 'Kritika Anand' in Google

Pavan Kumar Chittimalli

This author has not been identified. Look up 'Pavan Kumar Chittimalli' in Google
runs on