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.

Specification of Asynchronous Component Systems with Modal I/O-Petri Nets

Serge Haddad, Rolf Hennicker, Mikael H. Møller. Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. In Martín Abadi, Alberto Lluch-Lafuente, editors, Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers. Volume 8358 of Lecture Notes in Computer Science, pages 219-234, Springer, 2013. [doi]

Authors

Serge Haddad

This author has not been identified. Look up 'Serge Haddad' in Google

Rolf Hennicker

This author has not been identified. Look up 'Rolf Hennicker' in Google

Mikael H. Møller

This author has not been identified. Look up 'Mikael H. Møller' in Google
runs on