Finding Contents or People

Promela model for process_is_running
Promela model for pThread
pThread proctype
ISR proctype
Promela model for process_poll()
Contiki's data structures
Promela model for process list
process list source code
Research Supervision
Fluid Flow in Porous Media
Fluid Flow in Porous Media
Enhanced Oil Recovery (EOR)
PVT and Phase Behavior of Petroleum Fluid
Advanced Thermodynamic of Chemical Engineering
Reservoir Rock Properties