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
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 Engineering II (Applied Reservoir Engineering)
List of Publications