Information for "Publication:491662"
From MaRDI portal
Publication:491662
Basic information
| Display title | Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11--18, 2015. Proceedings |
| Default sort key | 491662 |
| Page length (in bytes) | 15 |
| Namespace ID | 4206 |
| Namespace | Publication |
| Page ID | 8670724 |
| 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 |
| Page views in the past month | 0 |
| MaRDI portal item ID | Q491662 |
| Central description | scientific article; zbMATH DE number 6473480 |
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 | 05:05, 30 January 2024 |
| Latest editor | Import240129110155 (talk | contribs) |
| Date of latest edit | 05:05, 30 January 2024 |
| Total number of edits | 1 |
| Recent number of edits (within past 90 days) | 0 |
| Recent number of distinct authors | 0 |