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...

Descripción completa

Detalles Bibliográficos
Autores principales: Biere, Armin, Parker, David
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Berlin Heidelberg 2022
Materias:
General
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

Internet

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

Ejemplares similares