QEST11

Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski. APAC: A Tool for Reasoning about Abstract Probabilistic Automata. In QEST,, Volume, Pages 151-152, 2011.

Contact

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

BibTex Reference

@InProceedings{QEST11,
   Author = {Delahaye, Benoît and G. Larsen, Kim and Legay, Axel and L. Pedersen, Mikkel and Wasowski, Andrzej},
   Title = {APAC: A Tool for Reasoning about Abstract Probabilistic Automata},
   BookTitle = {QEST},
   Volume = {},
   Pages = {151--152},
   Series = {},
   Publisher = {},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)