Author: Sriram Sankar

Publications

Publication period start: 1993
Number of co-authors: 1

Co-authors

Number of publications with favourite co-authors
Manas Mandal
1

Productive Colleagues

Most productive colleagues in number of publications
Manas Mandal
1

Publications

Sankar, Sriram, Mandal, Manas (1993): Concurrent Runtime Monitoring of Formally Specified Programs. In IEEE Computer, 26 (3) pp. 32-41.