Peter Sanders

2008

Stefan Edelkamp, Peter Sanders, and Pavel Šimeček:
Semi-external LTL Model Checking,
20th International Conference on Computer Aided Verification, Springer, 2008, 530-542. [bibtex]