Information for "Publication:826546"
From MaRDI portal
Publication:826546
Basic information
| Display title | Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25--30, 2020. Proceedings. |
| Default sort key | 826546 |
| Page length (in bytes) | 15 |
| Namespace ID | 4206 |
| Namespace | Publication |
| Page ID | 8869024 |
| 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 | Q826546 |
| Central description | scientific article; zbMATH DE number 7290349 |
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 | 13:41, 30 January 2024 |
| Latest editor | Import240129110113 (talk | contribs) |
| Date of latest edit | 13:41, 30 January 2024 |
| Total number of edits | 1 |
| Recent number of edits (within past 90 days) | 0 |
| Recent number of distinct authors | 0 |
