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

News

Dr. Sabita Maharjan (Photo: Sverre Jarild)
According to ThomsonReuter's Web of Science, this places the paper in the top 1% of its academic field...

Status

Export 5 results:
2012

Journal articles

1992

Journal articles

IEEE Spectrum (1992).
Status: Published

Proceedings, refereed

In Proceedings CompCon 1992. San Fransisco, 1992.
Status: Published
In Computer Aided Verification, 3rd International Workshop (CAV'91). Lecture Notes in Computer Science. Springer-Verlag, 1992.
Status: Published

Book chapters

In Scalable Memory Multiprocessors. Kluwer Academic Publishers, 1992.
Status: Published