Integrating river basin DSSs with model checking

TitleIntegrating river basin DSSs with model checking
Publication TypeJournal Article
Year of Publication2017
AuthorsGallardo M-del-M, Merino P, Panizo L, Salmeron A
JournalInternational Journal on Software Tools for Technology Transfer
Pagination1–16
Date Published10/2017
ISSN1433-2779
DOI10.1007/s10009-017-0478-x