On modeling and verification of temporal constraints in production workflows (1999)

by O Marjanovic, M E Orlowska
Venue:Knowl. Inf. Syst