Sciweavers

FORTE
2010
14 years 1 months ago
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems
cal Abstraction and Model-Checking of Large Heterogeneous Systems Ananda Basu, Verimag Laboratory, Universit
Ananda Basu, Saddek Bensalem, Marius Bozga, Beno&i...