Sign in
Learning specifications of interaction protocols and business processes and proving their properties.
Marco Alberti
Marco Gavanelli
Evelina Lamma
Fabrizio Riguzzi
Sergio Storari
Published in:
Intelligenza Artificiale (2011)
Keyphrases
</>
business processes
business process
learning algorithm
databases
web services
business rules
database systems
data mining
e government