University of Twente Student Theses
Partial-order reduction based on probe sets
Burgman, Ronald (2012) Partial-order reduction based on probe sets.
![[img]](http://essay.utwente.nl/style/images/fileicons/application_pdf.png) |
PDF
4MB |
| Item Type: | Essay (Master) |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Subject: | 54 computer science |
| Programme: | Computer Science MSc (60300) |
| Link to this item: | https://purl.utwente.nl/essays/62506 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page