@booklet {288, title = {Applying Symbolic Techniques To The Representation Of Non-markovian Models With Continuous Ph Distributions}, journal = {LECTURE NOTES IN COMPUTER SCIENCE}, year = {2009}, month = {10 July}, pages = {44{\textendash}58}, author = {Longo F. and Scarpa M.} }