Asis Goswami (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Asis Goswami, Michael Bell, Mathai Joseph: ISL: An Interval Logic for the Specification of Real-time Programs. FTRTFT 1992: 1-20

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

Selection of 4 from 4 records - Asis Goswami has 2 coauthors

4		Asis Goswami, Michael Bell, Mathai Joseph: ISL: An Interval Logic for the Specification of Real-time Programs. FTRTFT 1992: 1-20
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