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

EasyChair Preprint 8720, version history

VersionDatePagesVersion 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}}