%0 Conference Paper %1 conf/caise/BernardiCRLS15 %A Bernardi, Mario Luca %A Cimitile, Marta %A Ruvo, Giuseppe De %A Lucca, Giuseppe A. Di %A Santone, Antonella %B CAiSE Forum %D 2015 %E Grabis, Janis %E Sandkuhl, Kurt %I CEUR-WS.org %K dblp %P 113-120 %T Improving Design Patterns Finder Precision Using a Model Checking Approach. %U http://dblp.uni-trier.de/db/conf/caise/caisefo2015.html#BernardiCRLS15 %V 1367

@inproceedings{conf/caise/BernardiCRLS15, added-at = {2023-03-10T00:00:00.000+0100}, 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/22a3040243783695fd8c9a39fe768b5fa/dblp}, booktitle = {CAiSE Forum}, crossref = {conf/caise/2015fo}, editor = {Grabis, Janis and Sandkuhl, Kurt}, ee = {https://ceur-ws.org/Vol-1367/paper-15.pdf}, interhash = {94b0e9264b5c517116302c596e383e58}, intrahash = {2a3040243783695fd8c9a39fe768b5fa}, keywords = {dblp}, pages = {113-120}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T17:05:14.000+0200}, title = {Improving Design Patterns Finder Precision Using a Model Checking Approach.}, url = {http://dblp.uni-trier.de/db/conf/caise/caisefo2015.html#BernardiCRLS15}, volume = 1367, year = 2015 }