%0 Conference Paper %1 conf/datamod/VandinGLC21 %A Vandin, Andrea %A Giachini, Daniele %A Lamperti, Francesco %A Chiaromonte, Francesca %B DataMod %D 2021 %E Bowles, Juliana %E Broccia, Giovanna %E Pellungrini, Roberto %I Springer %K dblp %P 3-6 %T MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking. %U http://dblp.uni-trier.de/db/conf/datamod/datamod2021.html#VandinGLC21 %V 13268 %@ 978-3-031-16011-0

@inproceedings{conf/datamod/VandinGLC21, added-at = {2023-11-12T00:00:00.000+0100}, author = {Vandin, Andrea and Giachini, Daniele and Lamperti, Francesco and Chiaromonte, Francesca}, biburl = {https://www.bibsonomy.org/bibtex/24876e1536c2ec9b5294eee55cf2e94a3/dblp}, booktitle = {DataMod}, crossref = {conf/datamod/2021}, editor = {Bowles, Juliana and Broccia, Giovanna and Pellungrini, Roberto}, ee = {https://doi.org/10.1007/978-3-031-16011-0_1}, interhash = {4f4fe186ba8abbe4617301471eca9782}, intrahash = {4876e1536c2ec9b5294eee55cf2e94a3}, isbn = {978-3-031-16011-0}, keywords = {dblp}, pages = {3-6}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:34:24.000+0200}, title = {MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/datamod/datamod2021.html#VandinGLC21}, volume = 13268, year = 2021 }