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()
Scheduler state machine
Contiki's data structures
Promela model for process list
Research Supervision
Reviewer of journals
Citation
Positions Held
Fluid Flow in Porous Media
Fluid Flow in Porous Media
Enhanced Oil Recovery (EOR)