A Model Checking Based Business Process for Monitoring Company's Strategies

EasyChair Preprint no. 8720, version history

Version	Date	Pages	Version notes
1	August 28, 2022	6	—
2	September 4, 2023	6	The list of authors is updated as well as the bibliography

Keyphrases: Agent Monitoring Protocol, Agility., Business Process Strategy System, formal methods, verification

BibTeX entry

BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:

@Booklet{EasyChair:8720,
  author = {Hanane Ouaar and Mahmoud Boufaida},
  title = {A Model Checking Based Business Process for Monitoring Company's Strategies},
  howpublished = {EasyChair Preprint no. 8720},

  year = {EasyChair, 2023}}