dblp.uni-trier.dewww.uni-trier.de

Elie Bursztein

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4EEElie Bursztein: NetQi: A Model Checker for Anticipation Game. ATVA 2008: 246-251
3EEElie Bursztein: Extending Anticipation Games with Location, Penalty and Timeline. Formal Aspects in Security and Trust 2008: 272-286
2EEElie Bursztein: Probabilistic Identification for Hard to Classify Protocol. WISTP 2008: 49-63
2007
1EEElie Bursztein, Jean Goubault-Larrecq: A Logical Framework for Evaluating Network Resilience Against Faults and Attacks. ASIAN 2007: 212-227

Coauthor Index

1Jean Goubault-Larrecq (Jean Goubault) [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)