Primary tabs

Most recent publications

In Proceedings CompCon 1992. San Fransisco, 1992.
Proceedings, refereed
1992
In Computer Aided Verification, 3rd International Workshop (CAV'91). Lecture Notes in Computer Science. Springer-Verlag, 1992.
Proceedings, refereed
1992
IEEE Spectrum (1992).
Journal Article
1992
In Scalable Memory Multiprocessors. Kluwer Academic Publishers, 1992.
Book Chapter
1992
Export 16 results:
1978

Journal articles

Technical reports

Department of Informatics, University of Oslo, 1978.
Status: Published
A/S Mycron, 1978.
Status: Published

Talks, contributed

In A/S Mycron, 1978.
Status: Published
In AS Mycron, 1978.
Status: Published