Trace-Based Verification of Rule-Based Service Choreographies Conference Paper uri icon

publication date

  • 2018

number of pages

  • 8

start page

  • 185

end page

  • 193