Information for "Publication:6114367"
From MaRDI portal
Publication:6114367
Basic information
| Display title | Tools and algorithms for the construction and analysis of systems. 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22--27, 2023. Proceedings. Pa |
| Default sort key | 6114367 |
| Page length (in bytes) | 15 |
| Namespace ID | 4206 |
| Namespace | Publication |
| Page ID | 13663454 |
| 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 | Q6114367 |
| Central description | scientific article; zbMATH DE number 7710779 |
Page protection
| Edit | Allow only users with "overwriteprofilepages" permission (infinite) |
| Move | Allow only users with "overwriteprofilepages" permission (infinite) |
Edit history
| Page creator | Import240710060729 (talk | contribs) |
| Date of page creation | 06:19, 10 July 2024 |
| Latest editor | Import240710060729 (talk | contribs) |
| Date of latest edit | 06:19, 10 July 2024 |
| Total number of edits | 1 |
| Recent number of edits (within past 90 days) | 0 |
| Recent number of distinct authors | 0 |
