Cargando…
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
This special issue of Software Tools for Technology Transfer comprises extended versions of selected papers from the 26th edition of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020). The focus of this conference series is tools and algori...
| Autores principales: | , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
Springer Berlin Heidelberg
2022
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9510532/ https://www.ncbi.nlm.nih.gov/pubmed/36186273 http://dx.doi.org/10.1007/s10009-022-00677-9 |