Fluid Performability Analysis of Nested Automata Models. Bortolussi, L., Hillston, J., & Tribastone, M. Electr. Notes Theor. Comput. Sci., 310:27--47, 2015.
Fluid Performability Analysis of Nested Automata Models [link]Paper  doi  bibtex   
@article{DBLP:journals/entcs/BortolussiHT15,
  author    = {Luca Bortolussi and
               Jane Hillston and
               Mirco Tribastone},
  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}
}

Downloads: 0