?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Tribastone%2C+Mirco&rft.aufirst=Mirco&rft.aulast=Tribastone&rft.title=Differential+analysis+of+PEPA+models&rft.btitle=Proceedings+of+the+8th+Workshop+on+Process+Algebra+and+Stochastically+Timed+Activities+(PASTA)&rft.date=August+2009&rft.genre=bookitem