Amanote Research
Register
Sign In
BProVe: Tool Support for Business Process Verification
doi 10.1109/ase.2017.8115708
Full Text
Open PDF
Abstract
Available in
full text
Date
October 1, 2017
Authors
Flavio Corradini
Fabrizio Fornari
Andrea Polini
Barbara Re
Francesco Tiezzi
Andrea Vandin
Publisher
IEEE