Tools for the construction and analysis of systems : A special issue for TACAS 2018
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Tools for the construction and analysis of systems ; day:13 ; month:7 ; year:2020 ; pages:1-3
International journal on software tools for technology transfer ; (13.7.2020), 1-3
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-020-00581-0
- URN
-
urn:nbn:de:101:1-2020091003305475872967
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:49 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
- Beyer, Dirk
- Huisman, Marieke
- SpringerLink (Online service)
Other Objects (12)
![Steel construction, [...]. Special issue](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
Steel construction, [...]. Special issue
Special Issue of DASFAA 2018
Special issue: Implementation-Oriented Construction Robotics
Special Issue of APWeb-WAIM 2018
Special issue constructions : aspects of construction grammar
Abstract for the special issue
Special Issue: Euro Fed Lipid Highlights, 2018
Editorial for Special Issue: Virtual Geoscience
Call for papers: EPS special issue
Special issue for Thomas Scheper's retirement
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
Special issue for macromolecules for photonics and electronics
Steel construction, [...]. Special issue
Special Issue of DASFAA 2018
Special issue: Implementation-Oriented Construction Robotics
Special Issue of APWeb-WAIM 2018
Special issue constructions : aspects of construction grammar
Abstract for the special issue
Special Issue: Euro Fed Lipid Highlights, 2018
Editorial for Special Issue: Virtual Geoscience
Call for papers: EPS special issue
Special issue for Thomas Scheper's retirement
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
Special issue for macromolecules for photonics and electronics
Steel construction, [...]. Special issue
Special Issue of DASFAA 2018
Special issue: Implementation-Oriented Construction Robotics
Special Issue of APWeb-WAIM 2018
Special issue constructions : aspects of construction grammar
Abstract for the special issue
Special Issue: Euro Fed Lipid Highlights, 2018
Editorial for Special Issue: Virtual Geoscience
Call for papers: EPS special issue
Special issue for Thomas Scheper's retirement
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020