Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021 ; volume:25 ; number:2 ; day:17 ; month:2 ; year:2023 ; pages:129-131 ; date:4.2023
International journal on software tools for technology transfer ; 25, Heft 2 (17.2.2023), 129-131, 4.2023
- Creator
-
Jensen, Peter Gjøl
Neele, Thomas
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-023-00699-x
- URN
-
urn:nbn:de:101:1-2023081311051942170198
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:53 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Jensen, Peter Gjøl
- Neele, Thomas
- SpringerLink (Online service)
Other Objects (12)
Concepts, algorithms, and tools for model checking
Algorithms and tools for iterated Eisenstein integrals
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
Algorithms and tools for genome assembly and metagenome analysis
Algorithms and tools for genome assembly and metagenome analysis
Algorithms and Tools for Verification and Testing of Asynchronous Programs
CAD tools and algorithms for product design : 15.11.1998 - 20.11.1998
Classification and assessment tools for structural motif discovery algorithms
J.UCS Special Issue on Tools for System Design and Verification
CAD tools and algorithms for product design : with 12 tables
Computational tools and algorithms for ion mobility spectrometry‐mass spectrometry
Special Issue on Software Tools for Soft Computing
Concepts, algorithms, and tools for model checking
Algorithms and tools for iterated Eisenstein integrals
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
Algorithms and tools for genome assembly and metagenome analysis
Algorithms and tools for genome assembly and metagenome analysis
Algorithms and Tools for Verification and Testing of Asynchronous Programs
CAD tools and algorithms for product design : 15.11.1998 - 20.11.1998
Classification and assessment tools for structural motif discovery algorithms
J.UCS Special Issue on Tools for System Design and Verification
CAD tools and algorithms for product design : with 12 tables
Computational tools and algorithms for ion mobility spectrometry‐mass spectrometry
Special Issue on Software Tools for Soft Computing
Concepts, algorithms, and tools for model checking
Algorithms and tools for iterated Eisenstein integrals
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
Algorithms and tools for genome assembly and metagenome analysis
Algorithms and tools for genome assembly and metagenome analysis
Algorithms and Tools for Verification and Testing of Asynchronous Programs
CAD tools and algorithms for product design : 15.11.1998 - 20.11.1998
Classification and assessment tools for structural motif discovery algorithms
J.UCS Special Issue on Tools for System Design and Verification
CAD tools and algorithms for product design : with 12 tables
Computational tools and algorithms for ion mobility spectrometry‐mass spectrometry