?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-642-16561-0_12&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Tribastone%2C+Mirco&rft.aulast=Tribastone&rft.aufirst=Mirco&rft.date=2010&rft.isbn=978-3-642-16561-0&rft.title=Performance+prediction+of+service-oriented+systems+with+layered+queueing+networks&rft.btitle=Leveraging+Applications+of+Formal+Methods%2C+Verification%2C+and+Validation&rft.genre=bookitem