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.

Intransitive Non-Interference by Unfolding

Paolo Baldan, Francesco Burato, Alberto Carraro. Intransitive Non-Interference by Unfolding. In Ivan Lanese, Eric Madelaine, editors, Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Volume 8997 of Lecture Notes in Computer Science, pages 269-287, Springer, 2014. [doi]

Authors

Paolo Baldan

This author has not been identified. Look up 'Paolo Baldan' in Google

Francesco Burato

This author has not been identified. Look up 'Francesco Burato' in Google

Alberto Carraro

This author has not been identified. Look up 'Alberto Carraro' in Google
runs on