River Basin Management with Spin

TitleRiver Basin Management with Spin
Publication TypeConference Paper
Year of Publication2016
AuthorsGallardo M-del-M, Merino P, Panizo L, Salmeron A
Conference NameModel Checking Software: 23rd. International Symposium, SPIN
Date Published04/2016
PublisherSpringer: Switzerland
Conference LocationEindhoven, The Netherlands
ISBN Number978-3-319-32582-8
DOI10.1007/978-3-319-32582-8