Yosi Ben-Asher;Eitan Farchi
-;-
Partial orders for efficient bounded model checking of concurrent software
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification