Trace-Based Partial Order Reduction for Real-Time ABS

Jackson, Martin Mellum
Master thesis
View/Open
The file is restricted (More info)
Year
2019
Permanent link
http://urn.nb.no/URN:NBN:no-72599

Metadata
Show metadata
Appears in the following Collection
Abstract
No abstract.