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
In Proceedings 1982 Association of Simula Users (ASU) conference. Los Angeles, California,, 1982.
Proceedings, refereed
1982

Find publication

Status

Export 3 results:
1992

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
1982

Proceedings, refereed

In Proceedings 1982 Association of Simula Users (ASU) conference. Los Angeles, California,, 1982.
Status: Published