Integration of quantitative aspects into SPIN to develop a decision support tool for dams

TitleIntegration of quantitative aspects into SPIN to develop a decision support tool for dams
Publication TypeConference Paper
Year of Publication2009
AuthorsGallardo M-del-M, Merino P, Panizo L
Conference NameSusana Andova, et al. (eds.). Workshop on Quantitative Formal Methods: Theory and Applications (QFM’09). November 3, Eindhoven, The Netherlands. Preliminary proceedings
Date Publishednov