Primary tabs
Most recent publications
Selected publications
Students under supervision
Available Master's topics
Status
Departments
Publication type
Year published
2004
Talks, contributed
In Talk given at SINTEF ICT Oslo, 2004.
Status: Published
In Talk given at SINTEF ICT Oslo, 2004.
Status: Published
2000
Proceedings, refereed
In Foundations of Software Science and Computation Structures, Proceedings of FOSSACS 2000, a part of ETAPS 2000 (European Joint Conferences on Theory and Practice of Software), Berlin, Germany, LNCS volume 1784. Lecture Notes in Computer Science. Springer-Verlag, 2000.
Status: Published

