Formal verification of business processes with temporal and resource constraints.

Kenji Watahiki, Fuyuki Ishikawa, Kunihiko Hiraishi

Browse the full SMC paper archive.