The following pages link to Susanna Donatelli (Q782570):
Displaying 6 items.
- Expressiveness and conciseness of timed automata for the verification of stochastic models (Q782571) (← links)
- Optimal aggregation of components for the solution of Markov regenerative processes (Q1693111) (← links)
- Guarded autonomous transitions increase conciseness and expressiveness of timed automata (Q1996031) (← links)
- The ins and outs of Petri net composition (Q2165242) (← links)
- (Q2766551) (← links)
- Revisiting the matrix‐free solution of Markov regenerative processes (Q4897518) (← links)
