Basu2010a

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay. Statistical Abstraction and Model-Checking of Large Heterogeneous Component-Based Systems. In Proc. of the 5th International Federated Conference on Distributed Computing Techniques, Amsterdam, Netherlands, June 2010.

Keyword

[ Component ]

Contact

Benoît Caillaud http://www.irisa.fr/prive/Benoit.Caillaud/
Benoît Delahaye
Axel Legay

BibTex Reference

@InProceedings{Basu2010a,
   Author = {Basu, Ananda and Bensalem, Saddek and Bozga, Marius and Caillaud, Benoît and Delahaye, Benoît and Legay, Axel},
   Title = {Statistical Abstraction and Model-Checking of Large Heterogeneous Component-Based Systems},
   BookTitle = {Proc. of the 5th International Federated Conference on Distributed Computing Techniques},
   Address = {Amsterdam, Netherlands},
   Month = {June},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)