Jump to Navigation

River Basin Management with Spin

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


Main menu 2

Biblio | by Dr. Radut