Stepwise structural verification of cyclic workflow models with acyclic decomposition and reduction of loops

Research output: Journal Publications and ReviewsRGC 62 - Review of books or of software (or similar publications/items)peer-review