@dblp

Formal Analysis of a Real-Time Kernel Specification.

, and . FTRTFT, volume 1135 of Lecture Notes in Computer Science, page 440-458. Springer, (1996)

Links and resources

Tags