P. S. Thiagarajan

Foundations of Software Technology and Theoretical Computer Science: 15th Conference, Bangalore, India, December 18-20, 1995

Foundations of Software Technology and Theoretical Computer Science

Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15-17, 1994

Formal modeling and analysis of timed systems

Petri Nets and Other Models of Concurrency - ICATPN 2006