EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Albert, E.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2014

Kordy, B. and Pouly, M. and Schweizer, P. (2014) A Probabilistic Framework for Security Scenarios with Dependent Actions. In: 11th International Conference on Integrated Formal Methods, IFM 2014, 09-11 Sep 2014, Bertinoro, Italy. pp. 256-271. Lecture Notes in Computer Science 8739. Springer. ISBN 978-3-319-10180-4

This list was generated on Sun Apr 23 21:58:22 CEST 2017.