> Details

Souilah Benabdelhafid, Maya; Boubaker, Houda; Boufaida, Mahmoud

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: Modeling and Verification of Temporal Constraints for Web Service Composition

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Article
  • Title: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: Modeling and Verification of Temporal Constraints for Web Service Composition
  • Contributor: Souilah Benabdelhafid, Maya; Boubaker, Houda; Boufaida, Mahmoud
  • imprint: Springer International Publishing, 2021
  • Published in: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
  • Language: Not determined
  • DOI: 10.1007/978-3-030-67220-1_2
  • ISSN: 0302-9743; 1611-3349
  • Origination:
  • Footnote: