Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes Academic Article uri icon

publication date

  • February 10, 2011

start page

  • 467

end page

  • 482

volume

  • 70

issue

  • 5