External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Translating Active Objects into Colored Petri Nets for Communication Analysis

Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu. Translating Active Objects into Colored Petri Nets for Communication Analysis. In Mehdi Dastani, Marjan Sirjani, editors, Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers. Volume 10522 of Lecture Notes in Computer Science, pages 84-99, Springer, 2017. [doi]

Authors

Anastasia Gkolfi

This author has not been identified. Look up 'Anastasia Gkolfi' in Google

Crystal Chang Din

This author has not been identified. Look up 'Crystal Chang Din' in Google

Einar Broch Johnsen

This author has not been identified. Look up 'Einar Broch Johnsen' in Google

Martin Steffen

This author has not been identified. Look up 'Martin Steffen' in Google

Ingrid Chieh Yu

This author has not been identified. Look up 'Ingrid Chieh Yu' in Google
runs on