Information for "Publication:593176"
From MaRDI portal
Publication:593176
Basic information
| Display title | Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017. Proceedings. |
| Default sort key | 593176 |
| Page length (in bytes) | 15 |
| Namespace ID | 4206 |
| Namespace | Publication |
| Page ID | 8687540 |
| 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 | Q593176 |
| Central description | scientific article; zbMATH DE number 6699536 |
Page protection
| Edit | Allow only users with "overwriteprofilepages" permission (infinite) |
| Move | Allow only users with "overwriteprofilepages" permission (infinite) |
Edit history
| Page creator | Import240129110113 (talk | contribs) |
| Date of page creation | 06:25, 30 January 2024 |
| Latest editor | Import240129110113 (talk | contribs) |
| Date of latest edit | 06:25, 30 January 2024 |
| Total number of edits | 1 |
| Recent number of edits (within past 90 days) | 0 |
| Recent number of distinct authors | 0 |
