Learning Centre

Applying the Axiomatic Proof Method to Concurrent and Distributed Programs

 |  Login

Show simple item record

dc.contributor Aalto-yliopisto fi
dc.contributor Aalto University en
dc.contributor.author Rönn, Stefan
dc.date.accessioned 2021-04-13T20:41:39Z
dc.date.available 2021-04-13T20:41:39Z
dc.date.issued 1983
dc.identifier.uri https://aaltodoc.aalto.fi/handle/123456789/104420
dc.format.extent 71
dc.language.iso en en
dc.title Applying the Axiomatic Proof Method to Concurrent and Distributed Programs en
dc.title Aksiomaattisen todistamismenetelmän soveltaminen rinnakkaisiin ja hajautettuihin ohjelmiin fi
dc.contributor.school Teknillinen korkeakoulu fi
dc.contributor.school Helsinki University of Technology en
dc.contributor.department Koneinsinööriosasto fi
dc.identifier.urn URN:NBN:fi:aalto-202104133706
dc.programme.major Tietojenkäsittelyoppi fi
dc.programme.mcode 3.76 fi
dc.type.ontasot Licentiate thesis en
dc.type.ontasot Lisensiaatintyö fi
dc.contributor.supervisor Saikkonen, Heikki
local.aalto.openaccess no
local.aalto.digifolder Aalto_28107
dc.rights.accesslevel closedAccess
local.aalto.idinssi 4429
dc.type.okm G3 Lisensiaatintutkimus
local.aalto.digiauth ask

Files in this item

Files Size Format View

There are no open access files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Search archive

Advanced Search

article-iconSubmit a publication