| |
| 1992 | ||
|---|---|---|
| 4 | Asis Goswami, Michael Bell, Mathai Joseph: ISL: An Interval Logic for the Specification of Real-time Programs. FTRTFT 1992: 1-20 | |
| 1988 | ||
| 3 | Asis Goswami, Mathai Joseph: Semancitcs of Real-time Distributed Programs. Concurrency 1988: 292-306 | |
| 2 | Mathai Joseph, Asis Goswami: What's 'Real' about Real-Time Systems? IEEE Real-Time Systems Symposium 1988: 78-85 | |
| 1 | Mathai Joseph, Asis Goswami: Semantics for Specifying Real-Time Systems. Specification and Verification of Concurrent Systems 1988: 272-275 | |
| 1 | Michael Bell | [4] |
| 2 | Mathai Joseph | [1] [2] [3] [4] |