Toggle navigation
English
Norsk
English
English
Norsk
Administration
Toggle navigation
View Item
Home
Det matematisk-naturvitenskapelige fakultet
Institutt for informatikk
Institutt for informatikk
View Item
Home
Det matematisk-naturvitenskapelige fakultet
Institutt for informatikk
Institutt for informatikk
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Trace-Based Partial Order Reduction for Real-Time ABS
Jackson, Martin Mellum
Master thesis
View/
Open
The file is restricted
(More info)
martimj-master.pdf (608.0Kb)
Year
2019
Permanent link
http://urn.nb.no/
URN:NBN:no-72599
Metadata
Show metadata
Appears in the following Collection
Institutt for informatikk
[4971]
Abstract
No abstract.
Search all of DUO
Only this Collection
For students / employees
Submit master thesis
Access to restricted material
Browse
All of DUO
Communities & Collections
By Issue Date
Authors
Titles
This Collection
By Issue Date
Authors
Titles
For library staff
Login
RSS Feeds