Technical report

Model Checking Access Control in Business Workflow

Dury, A., Boroday, S., Petrenko, A., Lotz, V. Model Checking Access Control in Business Workflow. Montreal, CRIM, 2006. 68 p. . [CRIM-06/10-11]

  • Roger Léger RT @LegerRoger: Infolettre Juillet 2018 - Le virage numérique ne prend pas de vacances! - https://t.co/2lfyAoC1zi
  • Tom Landry RT @Tom_Landry_: Thanks to @ouranos_cc , @giz_gmbh , DKRZ and @NRCan for a highly appreciated contribution and collaboration.