@inproceedings{PADS2013,
  title = "Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets",
  author = "Amparore, Elvio Gilberto and Barbot, Benoit and Beccuti, Marco and Donatelli, Susanna and Franceschinis, Giuliana",
  year = "2013",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation",
  pages = "253--264",
  publisher = "ACM",
  series = "(SIGSIM-PADS '13)",
}