?url_ver=Z39.88-2004&rft_id=10.1109%2FTSE.2010.82&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Tribastone%2C+Mirco&rft.aulast=Tribastone&rft.aufirst=Mirco&rft.volume=38&rft.issue=1&rft.pages=205-219&rft.atitle=Scalable+differential+analysis+of+process+algebra+models&rft.title=IEEE+Transactions+on+Software+Engineering&rft.date=January+2012&rft.issn=0098-5589&rft.genre=article