%0 Journal Article %1 journals/sttt/CabodiCLPPPQ18 %A Cabodi, Gianpiero %A Camurati, Paolo %A Loiacono, Carmelo %A Palena, Marco %A Pasini, Paolo %A Patti, Denis %A Quer, Stefano %D 2018 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 3 %P 313-325 %T To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking. %U http://dblp.uni-trier.de/db/journals/sttt/sttt20.html#CabodiCLPPPQ18 %V 20

@article{journals/sttt/CabodiCLPPPQ18, added-at = {2022-04-09T00:00:00.000+0200}, author = {Cabodi, Gianpiero and Camurati, Paolo and Loiacono, Carmelo and Palena, Marco and Pasini, Paolo and Patti, Denis and Quer, Stefano}, biburl = {https://www.bibsonomy.org/bibtex/296cc2bffeceab887ff41248f074528a8/dblp}, ee = {https://doi.org/10.1007/s10009-017-0451-8}, interhash = {a90898ade99216f78042b3decc1aa286}, intrahash = {96cc2bffeceab887ff41248f074528a8}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 3, pages = {313-325}, timestamp = {2024-04-08T20:36:37.000+0200}, title = {To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt20.html#CabodiCLPPPQ18}, volume = 20, year = 2018 }