Publication
Publication
Transactions for Software Model Checking
Publication
The ‘Summation Hack’ as an Outlier Model
Publication
Techniques for Scheduling with Rejection
Publication