Information for "Publication:2388070"
From MaRDI portal
Publication:2388070
Basic information
Display title | Tools and algorithms for the construction and analysis of systems. 11th international conference, TACAS 2005, held as part of the joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4--8, 2005. Proceedings. |
Default sort key | 2388070 |
Page length (in bytes) | 15 |
Namespace ID | 4206 |
Namespace | Publication |
Page ID | 9992796 |
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 | Q2388070 |
Central description | scientific article |
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 | 18:56, 2 February 2024 |
Latest editor | Import240129110113 (talk | contribs) |
Date of latest edit | 18:56, 2 February 2024 |
Total number of edits | 1 |
Recent number of edits (within past 365 days) | 1 |
Recent number of distinct authors | 1 |