MFCS11

Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane. Quantitative Refinement for Weighted Modal Transition Systems. In MFCS,, Volume, Pages 60-71, 2011.

Contact

Axel Legay http://www.irisa.fr/distribcom

BibTex Reference

@InProceedings{MFCS11,
   Author = {S. Bauer, Sebastian and Fahrenberg, Uli and Juhl, Line and G. Larsen, Kim and Legay, Axel and R. Thrane, Claus},
   Title = {Quantitative Refinement for Weighted Modal Transition Systems},
   BookTitle = {MFCS},
   Volume = {},
   Pages = {60--71},
   Series = {},
   Publisher = {},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)