Shahid Jabbar
First name(s): Shahid
Last name(s): Jabbar

Publications of Shahid Jabbar
2006
Stefan Edelkamp and Shahid Jabbar, Action Planning for Directed Model Checking of Petri Nets (2006), in: Electronic Notes in Theoretical Computer Science, 149:2(3--18)