%0 Conference Paper %1 conf/iccS/AmatoPDGMM15 %A Amato, Flora %A Paola, Francesco M. De %A Diomaiuta, Crescenzo %A Giugni, Maurizio %A Mazzocca, Nicola %A Moscato, Francesco %B ICCS %D 2015 %E Koziel, Slawomir %E Leifsson, Leifur Þ. %E Lees, Michael %E Krzhizhanovskaya, Valeria V. %E Dongarra, Jack J. %E Sloot, Peter M. A. %I Elsevier %K dblp %P 562-571 %T A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation. %U http://dblp.uni-trier.de/db/conf/iccS/iccS2015.html#AmatoPDGMM15 %V 51

@inproceedings{conf/iccS/AmatoPDGMM15, added-at = {2021-10-14T00:00:00.000+0200}, author = {Amato, Flora and Paola, Francesco M. De and Diomaiuta, Crescenzo and Giugni, Maurizio and Mazzocca, Nicola and Moscato, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/2b71550a89be4dd70a48c025dfc2983a9/dblp}, booktitle = {ICCS}, crossref = {conf/iccS/2015}, editor = {Koziel, Slawomir and Leifsson, Leifur Þ. and Lees, Michael and Krzhizhanovskaya, Valeria V. and Dongarra, Jack J. and Sloot, Peter M. A.}, ee = {https://doi.org/10.1016/j.procs.2015.05.323}, interhash = {97f69b31c03ef18f316637d92e174d3e}, intrahash = {b71550a89be4dd70a48c025dfc2983a9}, keywords = {dblp}, pages = {562-571}, publisher = {Elsevier}, series = {Procedia Computer Science}, timestamp = {2024-04-09T20:37:03.000+0200}, title = {A Model Driven Approach to Water Resource Analysis based on Formal Methods and Model Transformation.}, url = {http://dblp.uni-trier.de/db/conf/iccS/iccS2015.html#AmatoPDGMM15}, volume = 51, year = 2015 }