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.

Decision Procedures for Simulatability

Charanjit S. Jutla, Arnab Roy. Decision Procedures for Simulatability. In Sara Foresti, Moti Yung, Fabio Martinelli, editors, Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. Volume 7459 of Lecture Notes in Computer Science, pages 573-590, Springer, 2012. [doi]

Authors

Charanjit S. Jutla

This author has not been identified. Look up 'Charanjit S. Jutla' in Google

Arnab Roy

This author has not been identified. Look up 'Arnab Roy' in Google
runs on