Correctness of Automatically Generated Choreography Specifications Chapter uri icon

publication date

  • 2021

International Standard Book Number (ISBN) 13

  • 9783030911669
  • 9783030911676

number of pages

  • 14

start page

  • 18

end page

  • 32