Conference Papers
Year : 2010
Benoît Caillaud : Connect in order to contact the contributor
https://inria.hal.science/inria-00554321
Submitted on : Monday, January 10, 2011-3:57:42 PM
Last modification on : Monday, December 18, 2023-9:50:03 AM
Dates and versions
Identifiers
- HAL Id : inria-00554321 , version 1
Cite
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, et al.. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, Jun 2010, Amsterdam, Netherlands. pp.32-46. ⟨inria-00554321v1⟩
1196
View
190
Download