Giuliano Tirenni

Publication List Details

Period

2002 - 2007

Number

3

Co-Authors

From business process model to consistent implementation: A case for formal verification methods (2002)

Jana Koehler, Giuliano Tirenni

Today’s business applications and their underlying process models are becoming more and more complicated, making the implementation of these processes an increasingly challenging task. On the one...

From business process model to consistent implementation: A case for formal verification methods (2002)

Jana Koehler, Giuliano Tirenni, Santhosh Kumaran

Today's business applications and their underlying process models are becoming more and more complicated, making the implementation of these processes an increasingly challenging task. On the...