Scientific Publications

BIBTEX-
Jan Jürjens

@inproceedings{JurWim01a,
       author = {J. {J}{\"{u}}{r}jens and G. Wimmel},
       title = {Formally Testing Fail-safety of Electronic Purse Protocols},
       booktitle={16th International Conference on Automated Software
Engineering (ASE 2001)},
       publisher=ieee,
       year = {2001},
       pages={408--411},
       OPTaddress={San Diego},
       OPTmonth={26-29 November},
       url = {http://www.jurjens.de/jan},
}

Jan Jürjens