Developing a decision support tool for dam management with SPIN

TitleDeveloping a decision support tool for dam management with SPIN
Publication TypeConference Paper
Year of Publication2009
AuthorsGallardo M-del-M, Merino P, Panizo L, Linares A
Conference NameMar{ía Alpuente; Byron Cook and Christophe Joubert (eds.). Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
Date Publishednov
PublisherSpringer
Conference LocationBerlin
ISBN Number3-642-04569-3
Abstract

doi:10.1007/978-3-642-04570-7