?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-540-39910-0_21&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aulast=De+Nicola&rft.aufirst=Rocco&rft.au=De+Nicola%2C+Rocco&rft.title=A+Formal+Basis+for+Reasoning+on+Programmable+QoS&rft.btitle=Verification%3A+Theory+and+Practice&rft.date=2004&rft.isbn=3-540-21002-4&rft.genre=bookitem