hyman.q « assignment2 - NWI-IBC019-Operating-Systems - Files related to NWI-IBC019 Operating Systems, autumn 2015, Radboud University Nijmegen.

about summary refs log tree commit diff

path: root/assignment2/hyman.q

blob: 0bd1a71b64f3cd49f7b8abe4b801d67b7a7cd5aa (plain) (blame)

//This file was generated from (Commercial) UPPAAL 4.0.14 (rev. 5615), May 2014

/*

*/
E<> (p1.CriticalSection && p2.CriticalSection)