If it happens again get the NTDebugging tool from microsofts site. It'll diagnose the problem for you.
A format would just end it, but since we are talking about BSOD.....throw it out of the window and call it a bitch.