Mogensen, Torben Ægidius,
2010,
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Pnueli, A., Virbitskaite, I. & Voronkov, A. (eds.).
Springer,
p. 306-318 13 p. (Lecture notes in computer science, Vol. 5947).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review