Bogetoft, P., Lund Christensen, D., Damgård, I., Geisler, M., Jakobsen, T., Krøigaard, M., Nielsen, J. D., Nielsen, J. B., Nielsen, K., Pagter, J., Schwartzbach, M. & Toft, T.,
2009,
In: Lecture Notes in Computer Science. 5628,
p. 325-343Research output: Contribution to journal › Conference article in journal › Research › peer-review