P
P. S. Thiagarajan
5 works on record
Works

Formal modeling and analysis of timed systems

Foundations of Software Technology and Theoretical Computer Science

Foundations of Software Technology and Theoretical Computer Science: 15th Conference, Bangalore, India, December 18-20, 1995
Petri Nets and Other Models of Concurrency - ICATPN 2006
Petri Nets and Other Models of Concurrency - ICATPN 2006
Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15-17, 1994
Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15-17, 1994