Connectivity of workflow nets: the foundations of stepwise verification Journal Articles uri icon

Overview

Published in

  • Acta Informatica

Time

Date/time value

  • 2011

Identity

Digital Object Identifier (DOI)

  • 10.1007/s00236-011-0137-8

Additional Document Info

Parent Title

  • ACTA INFORMATICA

Volume

  • 48

Issue

  • 4

Publisher

  • Springer Verlag