?url_ver=Z39.88-2004&rft_id=10.1145%2F1066677.1066777&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=De+Nicola%2C+Rocco&rft.aulast=De+Nicola&rft.aufirst=Rocco&rft.date=2005&rft.title=Formal+modeling+and+quantitative+analysis+of+KLAIM-based+mobile+systems&rft.btitle=Proceedings+of+the+2005+ACM+symposium+on+Applied+computing&rft.isbn=1-58113-964-0&rft.genre=bookitem