?url_ver=Z39.88-2004&rft_id=10.1109%2FQEST.2010.45&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aulast=Tribastone&rft.aufirst=Mirco&rft.au=Tribastone%2C+Mirco&rft.date=September+2010&rft.btitle=Proceedings+of+the+7th+International+Conference+on+the+Quantitative+Evaluation+of+Systems+(QEST)+&rft.title=Scalable+differential+analysis+of+large+process+algebra+models&rft.isbn=978-1-4244-8082-1+&rft.genre=bookitem