Finding Contents or People

Promela model for exit_process()
Promela model for process_is_running
Promela model for pThread
ISR proctype
Promela model for process_poll()
Contiki's data structures
Promela model for process list
Promela model for event queue
Promela model for main()
Students Thesis
Papers
Research Supervision
Fluid Flow in Porous Media
Fluid Flow in Porous Media
Enhanced Oil Recovery (EOR)