Show simple item record

dc.contributor.authorWijs, A.J.en
dc.date.accessioned2007-09-04T07:56:48Z
dc.date.available2007-09-04T07:56:48Z
dc.date.issued2007-10-02en
dc.identifier.urihttp://hdl.handle.net/1871/10964
dc.description.sponsorshipFokkink, W.J. [Promotor]en
dc.description.sponsorshipPol, J.C. van de [Promotor]en
dc.publisherAmsterdam: Vrije Universiteiten
dc.subjectFormal verification techniques for schedulingen
dc.subjectModel Checkingen
dc.subjectstate space searchingen
dc.subjecttimed process algebraen
dc.subjecttimed branching bisimilarityen
dc.subjectschedulingen
dc.titleWhat to do Next? : Analysing and Optimising System Behaviour in Timeen
dc.typeDoctoral thesisen


Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record