Items where Author is "Ramamritham , Krithivasan"

Group by: Item Type | No Grouping

Number of items: 1.

Ramamritham , Krithivasan ; Keller, Robert M. (1981) Specifying and proving properties of sentinel processes Proceedings of the 5th IEEE international conference on Software engineering . pp. 374-382.

This list was generated on Sun Apr 5 00:45:43 2026 UTC.