%0 Conference Paper %1 conf/icsoft/BernardiCRLS15a %A Bernardi, Mario Luca %A Cimitile, Marta %A Ruvo, Giuseppe De %A Lucca, Giuseppe A. Di %A Santone, Antonella %B ICSOFT (Selected Papers) %D 2015 %E Lorenz, Pascal %E Cardoso, Jorge %E Maciaszek, Leszek A. %E van Sinderen, Marten %I Springer %K dblp %P 99-117 %T Integrating Model Driven and Model Checking to Mine Design Patterns. %U http://dblp.uni-trier.de/db/conf/icsoft/icsoft2015s.html#BernardiCRLS15a %V 586 %@ 978-3-319-30141-9

@inproceedings{conf/icsoft/BernardiCRLS15a, added-at = {2020-10-25T00:00:00.000+0200}, author = {Bernardi, Mario Luca and Cimitile, Marta and Ruvo, Giuseppe De and Lucca, Giuseppe A. Di and Santone, Antonella}, biburl = {https://www.bibsonomy.org/bibtex/2e2f41153a8056e810f4eacddb301e717/dblp}, booktitle = {ICSOFT (Selected Papers)}, crossref = {conf/icsoft/2015s}, editor = {Lorenz, Pascal and Cardoso, Jorge and Maciaszek, Leszek A. and van Sinderen, Marten}, ee = {https://doi.org/10.1007/978-3-319-30142-6_6}, interhash = {58822c79fa587ad28991606a9a8e417e}, intrahash = {e2f41153a8056e810f4eacddb301e717}, isbn = {978-3-319-30141-9}, keywords = {dblp}, pages = {99-117}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2024-04-09T21:19:09.000+0200}, title = {Integrating Model Driven and Model Checking to Mine Design Patterns.}, url = {http://dblp.uni-trier.de/db/conf/icsoft/icsoft2015s.html#BernardiCRLS15a}, volume = 586, year = 2015 }