Simplified Computation and Generalization of the Refined Process Structure Tree Conference Proceedings uri icon

Overview

Published in

  • Lecture Notes in Computer Science

Time

Date/time value

  • 2011

Identity

International Standard Book Number (ISBN) 13

  • 978-3-642-19588-4

Additional Document Info

Parent Title

  • 7th International Workshop on Web Services and Formal Methods
  • WEB SERVICES AND FORMAL METHODS

Volume

  • 6551

Publisher

  • Springer Verlag