Information for "Publication:295832"
From MaRDI portal
Publication:295832
Basic information
| Display title | Formal methods for the quantitative evaluation of collective adaptive systems. 16th international school on formal methods for the design of computer, communication, and software systems, SFM 2016, Bertinoro, Italy, June 20--24, 2016. Advanced lectures |
| Default sort key | 295832 |
| Page length (in bytes) | 15 |
| Namespace ID | 4206 |
| Namespace | Publication |
| Page ID | 8574707 |
| Page content language | en - English |
| Page content model | wikitext |
| Indexing by robots | Allowed |
| Number of redirects to this page | 0 |
| Counted as a content page | Yes |
| MaRDI portal item ID | Q295832 |
| Central description | scientific article; zbMATH DE number 6593047 |
Page protection
| Edit | Allow only users with "overwriteprofilepages" permission (infinite) |
| Move | Allow only users with "overwriteprofilepages" permission (infinite) |
Edit history
| Page creator | Import240129110155 (talk | contribs) |
| Date of page creation | 02:12, 30 January 2024 |
| Latest editor | Import240129110155 (talk | contribs) |
| Date of latest edit | 02:12, 30 January 2024 |
| Total number of edits | 1 |
| Recent number of edits (within past 90 days) | 0 |
| Recent number of distinct authors | 0 |
