An Event-B Based Approach for Ensuring Correct Configurable Business Processes Conference Paper uri icon

publication date

  • June 1, 2016

published in

  •  

start page

  • 460

end page

  • 467