?url_ver=Z39.88-2004&rft_id=10.1007%2Fs10009-002-0104-3&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Edelkamp%2C+Stefan&rft.aulast=Edelkamp&rft.aufirst=Stefan&rft.issn=1433-2779&rft.issue=2-3&rft.pages=247-267&rft.volume=5&rft.date=2004&rft.atitle=Directed+explicit-state+model+checking+in+the+validation+of+communication+protocols&rft.title=International+Journal+on+Software+Tools+for+Technology+Transfer+(STTT)&rft.genre=article