{"_id":"EZoFQSskX9hPahcD6","authorIDs":[],"author_short":["Bortolussi, L.","Hillston, J.","Tribastone, M."],"bibbaseid":"bortolussi-hillston-tribastone-fluidperformabilityanalysisofnestedautomatamodels-2015","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Bortolussi"],"suffixes":[]},{"firstnames":["Jane"],"propositions":[],"lastnames":["Hillston"],"suffixes":[]},{"firstnames":["Mirco"],"propositions":[],"lastnames":["Tribastone"],"suffixes":[]}],"title":"Fluid Performability Analysis of Nested Automata Models","journal":"Electr. Notes Theor. Comput. Sci.","volume":"310","pages":"27--47","year":"2015","url":"http://dx.doi.org/10.1016/j.entcs.2014.12.011","doi":"10.1016/j.entcs.2014.12.011","timestamp":"Sun, 08 Mar 2015 00:00:00 +0100","biburl":"http://dblp.dagstuhl.de/rec/bib/journals/entcs/BortolussiHT15","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@article{DBLP:journals/entcs/BortolussiHT15,\n author = {Luca Bortolussi and\n Jane Hillston and\n Mirco Tribastone},\n title = {Fluid Performability Analysis of Nested Automata Models},\n journal = {Electr. Notes Theor. Comput. Sci.},\n volume = {310},\n pages = {27--47},\n year = {2015},\n url = {http://dx.doi.org/10.1016/j.entcs.2014.12.011},\n doi = {10.1016/j.entcs.2014.12.011},\n timestamp = {Sun, 08 Mar 2015 00:00:00 +0100},\n biburl = {http://dblp.dagstuhl.de/rec/bib/journals/entcs/BortolussiHT15},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Bortolussi, L.","Hillston, J.","Tribastone, M."],"key":"DBLP:journals/entcs/BortolussiHT15","id":"DBLP:journals/entcs/BortolussiHT15","bibbaseid":"bortolussi-hillston-tribastone-fluidperformabilityanalysisofnestedautomatamodels-2015","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.entcs.2014.12.011"},"downloads":0},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/t/Tribastone:Mirco","creationDate":"2015-03-13T02:49:57.196Z","downloads":0,"keywords":[],"search_terms":["fluid","performability","analysis","nested","automata","models","bortolussi","hillston","tribastone"],"title":"Fluid Performability Analysis of Nested Automata Models","year":2015,"dataSources":["CNwMY2u82MjtNmYTK"]}