Finding Contents or People

Promela model for process list
process list source code
Promela model for event queue
Event queue source code
Promela model for main()
Biography 36
Projects & Work Experience
Papers
Useful Links
Google Scholar Citations
Biography
Biography 36
Research Interests
Publications
Conferences