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 | 2025-11-06
| |
| |
||
| Highlighted paper on group site | ||
| Highlight text | ||
| Highlight image | ||
| Which groups | ||
| 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
|
