%0 Journal Article %1 journals/jss/CasaluceBCLV24 %A Casaluce, Roberto %A Burattin, Andrea %A Chiaromonte, Francesca %A Lluch-Lafuente, Alberto %A Vandin, Andrea %D 2024 %J J. Syst. Softw. %K dblp %P 111983 %T White-box validation of quantitative product lines by statistical model checking and process mining. %U http://dblp.uni-trier.de/db/journals/jss/jss210.html#CasaluceBCLV24 %V 210

@article{journals/jss/CasaluceBCLV24, added-at = {2024-03-08T00:00:00.000+0100}, author = {Casaluce, Roberto and Burattin, Andrea and Chiaromonte, Francesca and Lluch-Lafuente, Alberto and Vandin, Andrea}, biburl = {https://www.bibsonomy.org/bibtex/218c043d6c680b85e65751523d1f19c43/dblp}, ee = {https://doi.org/10.1016/j.jss.2024.111983}, interhash = {30b08e245bdae9d186ddd705902005d1}, intrahash = {18c043d6c680b85e65751523d1f19c43}, journal = {J. Syst. Softw.}, keywords = {dblp}, month = {April}, pages = 111983, timestamp = {2024-04-09T03:35:52.000+0200}, title = {White-box validation of quantitative product lines by statistical model checking and process mining.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss210.html#CasaluceBCLV24}, volume = 210, year = 2024 }