Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets.

Elvio Gilberto Amparore, Benot Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis

Browse the full PADS paper archive.