![](/img/cover-not-exists.png)
[IEEE Networks (DSN) - Chicago, IL, USA (2010.06.28-2010.07.1)] 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN) - Model checking CSLTA with Deterministic and Stochastic Petri Nets
Elvio Gilberto Amparore,, Donatelli, SusannaYear:
2010
Language:
english
DOI:
10.1109/dsn.2010.5544425
File:
PDF, 1.95 MB
english, 2010