Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition Conference Proceedings uri icon

Overview

Authors

Published in

  • Lecture Notes in Computer Science

Time

Date/time value

  • 2010

Identity

International Standard Book Number (ISBN) 13

  • 978-3-642-13674-0

Additional Document Info

Parent Title

  • 31st Int Conf on Application and Theory of Petri Nets and Other Models of Concurrency / 10th Int Conf on Application of Concurrency to System Design
  • APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS

Volume

  • 6128

Publisher

  • Springer Verlag