?url_ver=Z39.88-2004&rft_id=10.1007%2Fs10009-004-0151-z&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Edelkamp&rft.aufirst=Stefan&rft.au=Edelkamp%2C+Stefan&rft.issue=4&rft.pages=277-301&rft.volume=6&rft.date=2004&rft.title=International+Journal+on+Software+Tools+for+Technology+Transfer+(STTT)&rft.atitle=Partial-order+reduction+and+trail+improvement+in+directed+model+checking&rft.issn=1433-2779&rft.genre=article