• 1654 Citaten
1992 …2019
Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput 1992 2019

Filter
Voorwoord / nawoord
2012

Preface

Barthe, G., Datta, A. & Etalle, S., 23 jul 2012, Formal aspects of security and trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers. Barthe, G., Datta, A. & Etalle, S. (redactie). Berlin: Springer, blz. IV 1 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7140).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

2007

Preface

Etalle, S. & Samarati, P., 2007, Proceedings of the 2nd International Workshop on Security and Trust Management (STM 2006), 20-21 September 2006, Hamburg, Germany. blz. 1-2 (Electronic Notes in Theoretical Computer Science; vol. 179).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordProfessioneel

2005

Preface

Etalle, S., Mukhopadhyay, S. & Roychoudhury, A., 2005, Proceedings of the International Workshop on Software Verification and Validation (SVV 2003, Mumbai, India, December 14, 2003). Etalle, S., Mukhopadhyay, S. & Roychoudhury, A. (redactie). blz. 1- (Electronic Notes in Theoretical Computer Science; vol. 118).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordProfessioneel