Search results for: Sebastian Altmeyer
Real-Time Systems > 2018 > 54 > 4 > 912-963
Real-Time Systems > 2018 > 54 > 2 > 307-388
Real-Time Systems > 2018 > 54 > 3 > 607-661
Real-Time Systems > 2017 > 53 > 4 > 403-466
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Invited Talks > 3-22
Real-Time Systems > 2016 > 52 > 2 > 201-238
Real-Time Systems > 2016 > 52 > 5 > 598-643
Real-Time Systems > 2015 > 51 > 1 > 77-123