Browse By Publication: Formal Aspects of Computing: applicable formal methods

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Volume | Authors/Creators
Number of items: 1.

van der Aalst, Wil, van Hee, Kees, ter Hofstede, Arthur, Sidorova, Natalia, Verbeek, H.M.W., Voorhoeve, Marc, et al. (2010) Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects of Computing: applicable formal methods, 23(3), pp. 333-363.
Number of citations in Scopus 131
Number of citations in Web of ScienceĀ® 73

This list was generated on Sun Apr 16 14:07:04 2017 AEST.