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
|
| |
|
| Feature reference | No |
| PublicationClusterID | 0 |
| MS_PublicationClusterID | 2494335068 |
| Semantic_ID | ec92ae659f33c8408f69194cd05f9574a66c79e8 |
| CorpusID | 0 |
| Nr of citations | 3 |
| 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 |
