Finding Contents or People

exit_process() source code
Promela model for exit_process()
Promela model for process_is_running
Promela model for pThread
ISR proctype
Promela model for process_poll()
Scheduler state machine
Contiki's data structures
Promela model for process list
Research Supervision
Positions Held
Fluid Flow in Porous Media
Fluid Flow in Porous Media
Enhanced Oil Recovery (EOR)
PVT and Phase Behavior of Petroleum Fluid