External Links

Cite Key

Statistics

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

PDF

Tags

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.

Reachability Analysis in Boxed Ambients

Nadia Busi, Gianluigi Zavattaro. Reachability Analysis in Boxed Ambients. In Mario Coppo, Elena Lodi, G. Michele Pinna, editors, Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings. Volume 3701 of Lecture Notes in Computer Science, pages 143-159, Springer, 2005. [doi]

Authors

Nadia Busi

This author has not been identified. Look up 'Nadia Busi' in Google

Gianluigi Zavattaro

This author has not been identified. Look up 'Gianluigi Zavattaro' in Google
runs on