Hide metadata

Trace-Based Partial Order Reduction for Real-Time ABS

dc.contributor.authorJackson, Martin Mellum
dc.date.accessioned2019-08-22T23:46:53Z
dc.date.issued2019
dc.identifier.citationJackson, Martin Mellum. Trace-Based Partial Order Reduction for Real-Time ABS. Master thesis, University of Oslo, 2019
dc.identifier.urihttp://hdl.handle.net/10852/69502
dc.description.abstracteng
dc.language.isoeng
dc.subject
dc.titleTrace-Based Partial Order Reduction for Real-Time ABSeng
dc.typeMaster thesis
dc.date.updated2019-08-23T23:45:49Z
dc.creator.authorJackson, Martin Mellum
dc.date.embargoenddate3019-05-16
dc.rights.termsDette dokumentet er ikke elektronisk tilgjengelig etter ønske fra forfatter. Tilgangskode/Access code A
dc.identifier.urnURN:NBN:no-72599
dc.type.documentMasteroppgave
dc.rights.accessrightsclosedaccess
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/69502/1/martimj-master.pdf


Files in this item

Name:
martimj-master.pdf
Size:
608.0Kb
Format:
application/
View/Open

Appears in the following Collection

Hide metadata