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

EasyChair Preprint 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 8720},
  year      = {EasyChair, 2023}}