Model Checking Techniques for Test Generation From Business Process Models
SOC Catalog 2014
Winter 2013 Papercrafting Catalog - wholesale