{"_id":"d95tKXezXscqKMqoD","bibbaseid":"nicola-latella-massink-formalmodelingandquantitativeanalysisofklaimbasedmobilesystems-2005","authorIDs":[],"author_short":["Nicola, R. D.","Latella, D.","Massink, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Rocco","De"],"propositions":[],"lastnames":["Nicola"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Latella"],"suffixes":[]},{"firstnames":["Mieke"],"propositions":[],"lastnames":["Massink"],"suffixes":[]}],"editor":[{"firstnames":["Hisham"],"propositions":[],"lastnames":["Haddad"],"suffixes":[]},{"firstnames":["Lorie","M."],"propositions":[],"lastnames":["Liebrock"],"suffixes":[]},{"firstnames":["Andrea"],"propositions":[],"lastnames":["Omicini"],"suffixes":[]},{"firstnames":["Roger","L."],"propositions":[],"lastnames":["Wainwright"],"suffixes":[]}],"title":"Formal modeling and quantitative analysis of KLAIM-based mobile systems","booktitle":"Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005","pages":"428–435","publisher":"ACM","year":"2005","url":"https://doi.org/10.1145/1066677.1066777","doi":"10.1145/1066677.1066777","timestamp":"Mon, 15 Jun 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/sac/NicolaLM05.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sac/NicolaLM05,\n author = {Rocco De Nicola and\n Diego Latella and\n Mieke Massink},\n editor = {Hisham Haddad and\n Lorie M. Liebrock and\n Andrea Omicini and\n Roger L. Wainwright},\n title = {Formal modeling and quantitative analysis of KLAIM-based mobile systems},\n booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),\n Santa Fe, New Mexico, USA, March 13-17, 2005},\n pages = {428--435},\n publisher = {{ACM}},\n year = {2005},\n url = {https://doi.org/10.1145/1066677.1066777},\n doi = {10.1145/1066677.1066777},\n timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/sac/NicolaLM05.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Nicola, R. D.","Latella, D.","Massink, M."],"editor_short":["Haddad, H.","Liebrock, L. M.","Omicini, A.","Wainwright, R. L."],"key":"DBLP:conf/sac/NicolaLM05","id":"DBLP:conf/sac/NicolaLM05","bibbaseid":"nicola-latella-massink-formalmodelingandquantitativeanalysisofklaimbasedmobilesystems-2005","role":"author","urls":{"Paper":"https://doi.org/10.1145/1066677.1066777"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/n/RDNicola.bib","creationDate":"2020-08-07T16:49:57.620Z","downloads":0,"keywords":[],"search_terms":["formal","modeling","quantitative","analysis","klaim","based","mobile","systems","nicola","latella","massink"],"title":"Formal modeling and quantitative analysis of KLAIM-based mobile systems","year":2005,"dataSources":["FxajFA698pihqBfpX"]}