VMCAI11

Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata. In VMCAI, Lecture Notes in Computer Science, Volume 6538, Pages 324-339, 2011.

Contact

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

BibTex Reference

@InProceedings{VMCAI11,
   Author = {Delahaye, Benoît and Katoen, Joost-Pieter and G. Larsen, Kim and Legay, Axel and L. Pedersen, Mikkel and Sher, Falak and Wasowski, Andrzej},
   Title = {Abstract Probabilistic Automata},
   BookTitle = {VMCAI},
   Volume = {6538},
   Pages = {324--339},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)