Reference:Reference-001983
From CSDMS
| Name | Butler, Michael |
| Name | Schewe, Klaus-Dieter |
| Name | Mashkoor, Atif |
| Name | Biro, Miklos |
| Name | Baugh, John |
| Name | Altuntas, Alper |
| Kind of article | bookSection |
| Title | Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy |
| Publication title | |
| Book title | Abstract State Machines, Alloy, B, TLA, VDM, and Z |
| Journal Abbreviation | |
| Volume | 9675 |
| Issue | |
| URL | http://link.springer.com/10.1007/978-3-319-33600-8_18 |
| DOI | |
| Page numbers | 256–261 |
| Publication date | 2016 |
| Access date | 2024-05-08
|
| |
|
| Feature reference | No |
| PublicationClusterID | 0 |
| MS_PublicationClusterID | 0 |
| Semantic_ID | {{{Semantic_ID}}} |
| Nr of citations | Template:SEM |
| Sort of publication | a module application description |
| Sort of model publication | a single module |
| Is the CSDMS HPC used | No |
| If HPC is used, for what project was it?: | |
| Associated simulation movie if any: |
|
| Model(s) discussed: | ADCIRC
|
