| 2011 | ||
|---|---|---|
| c1 | Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm: Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. POPL 2011: 93-104 | |
| 1 | Peter Lammich | |
| 2 | Markus Müller-Olm | |
| 3 | Helmut Seidl | |
| 4 | Vesal Vojdani |
Data released under the ODC-BY 1.0 license — See also our legal information page