|
[Qua10]
|
Jose Quaresma.
A protocol implementation generator.
Master's thesis, Technical University of Denmark (DTU), Kgs. Lyngby,
Denmark, June 2010.
[ bib ]
|
|
[QP10]
|
Jose Quaresma and Christian W Probst.
Protocol implementation generator.
In Nordic Conference in Secure IT Systems (NordSec 2010),
October 2010.
[ bib ]
|
|
[QPN11]
|
Jose Quaresma, Christian W. Probst, and Flemming Nielson.
The guided system development framework.
In Proceedings of the 23rd Nordic Workshop Programming Theory,
pages 69-72, Västerås, Sweden, October 2011.
[ bib ]
|
This file was generated by
bibtex2html 1.96.
