@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

URL:
BibTeX key:
conf/ftrtft/FowlerW96
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication