Efficient Multi-level Mine Dewatering Using Uppaal Stratego.

Muhammad Naeem, Cristina Seceleanu, Alf J. Isaksson, Tiberiu Seceleanu

Browse the full FM paper archive.