Refinement of synchronizable places with multi-workflow nets : weak termination preserved!
- K.M. Hee, van
- , N. Sidorova
- , J.M.E.M. Werf, van der
Research output: Book/Report › Report › Academic
131
Downloads
(Pure)