Pubblicazioni
| Autori: | Daniele Codetta Raiteri |
| Titolo: | The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation |
| Apparso su: | Electronic Notes on Theoretical Computer Science, vol. 127(2) |
| Pagine: | 45-60 |
| Editore: | Elsevier |
| Anno: | 2005 |
| Tipo Pubblicazione: | Paper on International Journal |
| URL: | http://dx.doi.org/10.1016/j.entcs.2005.02.005 |