Simulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets
Elvio Gilberto Amparore‚ Benoit Barbot‚ Marco Beccuti‚ Susanna Donatelli and Giuliana Franceschinis
Address
New York‚ NY‚ USA
Book Title
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Pages
253–264
Publisher
ACM
Series
(SIGSIM−PADS '13)
Year
2013