Publications
Authors: | Daniele Codetta Raiteri |
Title: | The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation |
Published on: | Electronic Notes on Theoretical Computer Science, vol. 127(2) |
Pages: | 45-60 |
Publisher: | Elsevier |
Year: | 2005 |
Tipo Pubblicazione: | Paper on International Journal |
URL: | http://dx.doi.org/10.1016/j.entcs.2005.02.005 |