Primary tabs

Most recent publications

IEEE Transactions on Parallel and Distributed Systems 23 (2012): 405-425.
Journal Article
2012
Formal Aspects of Computing 9 (1997): 98-118,.
Journal Article
1997

Simula in the media

Korleis kan ein sikre seg mot farar ein enno ikkje veit om? Forskarane og studentane på det nye senteret Simula@ Bergen har éit hovudmål: Å trygge våre framtidige data. - Tenk deg at du skal bygge eit hus. Då treng du gode byggesteinar.
Simula
På Høyden

Find publication

Status

Export 3 results:
2012

Journal articles

IEEE Transactions on Parallel and Distributed Systems 23 (2012): 405-425.
Status: Published
1997

Journal articles

Formal Aspects of Computing 9 (1997): 98-118,.
Status: Published