Search results for: Martin Stigge
Real-Time Systems > 2015 > 51 > 5 > 602-636
Real-Time Systems > 2015 > 51 > 6 > 639-674
Journal of Logical and Algebraic Methods in Programming > 2015 > 84 > 1 > 92-105
2013 IEEE 34th Real-Time Systems Symposium > 340 - 349