Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling
(TU Darmstadt, Germany)
Sessions
|
Talks
|
People
|
Time stamp: 2019-12-14T14:05:28+01:00