Special issue of the 21st international conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015) (Q1683925)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Special issue of the 21st international conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015) |
scientific article; zbMATH DE number 6815082
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special issue of the 21st international conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015) |
scientific article; zbMATH DE number 6815082 |
Statements
Special issue of the 21st international conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015) (English)
0 references
1 December 2017
0 references
