People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Chennai Mathematical Institute - logic and models for concurrency
Petri Nets and Step Transition Systems M Mukund. International Journal of Foundations of Computer Science 3, 4, (1992) 443-478.
M Mukund : Finite State Automata on Infinite Inputs . Tutorial talk, NSTCS 6, Banasthali Vidyapith, Banasthali Rajasthan, August 1996. M Mukund : Linear-Time Temporal Logic and ...
M. Mukund (Parity Games) 11:15 - 11:45: Tea Break: 11:45 - 13:00: N. Kumar (LTL and Expressive Completeness) 13:00 - 14:30: Lunch Break: 14:30 - 15:45
Foundations of Software Technology and Theoretical Computer Science (Bangalore) 2008. Editors: R. Hariharan, M. Mukund, V. Vinay; pp-Some SievingAlgorithms for Lattice Problems V ...
Petri Nets and Step Transition Systems M Mukund. International Journal of Foundations of Computer Science 3, 4, (1992) 443-478.
Transition System Models for Concurrency M Mukund . Report TCS-92-3, School of Mathematics, SPIC Science Foundation, Madras, India (1992)
M Mukund : Finite State Automata on Infinite Inputs . Tutorial talk, NSTCS 6, Banasthali Vidyapith, Banasthali Rajasthan, August 1996. M Mukund : Linear-Time Temporal ...
[PDF]
Linkedin
Quintiles India (Pharmaceuticals industry): Director - Human Resources, (2007-Present)
Strides Arcolab Limited (Public Company; 1001-5000 employees; Pharmaceuticals ...