@dblp

On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components.

, , and . GPCE, volume 3286 of Lecture Notes in Computer Science, page 436-455. Springer, (2004)

Links and resources

Tags