Reference:Reference-001983
From CSDMS
| Author(s) | Butler, Michael; Schewe, Klaus-Dieter; Mashkoor, Atif; Biro, Miklos; Baugh, John; Altuntas, Alper; | |
| BibType | bookSection | |
| Title | Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy | |
| Editors | ||
| Year | 2016-01-01 | |
| Journal | ||
| Booktitle | Abstract State Machines, Alloy, B, TLA, VDM, and Z | |
| Volume | 9675 | |
| Pages | 256–261 | |
| URL | http://link.springer.com/10.1007/978-3-319-33600-8_18 | |
| DOI | ||
| ISBN | ||
| Note | Auto downloaded ref at: 2020-05-05
| |
| |
||
| Highlighted paper on group site | ||
| Highlight text | ||
| Highlight image | ||
| Which groups | ||
| Feature reference | No | |
| PublicationClusterID | 0 | |
| MS_PublicationClusterID | 2494335068 | |
| 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 |
