?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=Bottom-up+beats+top-down+hands+down&rft.btitle=Proceedings+of+the+6th+Workshop+on+Process+Algebra+and+Stochastically+Timed+Activities+(PASTA)&rft.date=July+2007&rft.genre=bookitem