- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
MCMAS: an open-source model checker for the verification of multi-agent systems ; volume:19 ; number:1 ; day:26 ; month:4 ; year:2015 ; pages:9-30 ; date:2.2017
International journal on software tools for technology transfer ; 19, Heft 1 (26.4.2015), 9-30, 2.2017
- Classification
-
Informatik
- Creator
-
Lomuscio, Alessio
- Contributor
-
Qu, Hongyang
Raimondi, Franco
SpringerLink (Online service)
- DOI
-
10.1007/s10009-015-0378-x
- URN
-
urn:nbn:de:1111-201702152665
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:50 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
- Lomuscio, Alessio
- Qu, Hongyang
- Raimondi, Franco
- SpringerLink (Online service)
Other Objects (12)
Explanation of the Model Checker Verification Results
Rational verification: game-theoretic verification of multi-agent systems
Open-Source Multiparametric Optocardiography
Multi-Agent Safety Verification using Symmetry Transformations
Die Berliner OpenSource Strategie
Open-source digital biomarker development
Valhalla - Flexibles Open-Source Routing
Automating Open-Source License Compliance
3D OpenSource software Stack
Open-Source in der Verwaltung
Coordinating Open-Source Software Development
Valhalla : flexibles Open-Source Routing
Explanation of the Model Checker Verification Results
Rational verification: game-theoretic verification of multi-agent systems
Open-Source Multiparametric Optocardiography
Multi-Agent Safety Verification using Symmetry Transformations
Die Berliner OpenSource Strategie
Open-source digital biomarker development
Valhalla - Flexibles Open-Source Routing
Automating Open-Source License Compliance
3D OpenSource software Stack
Open-Source in der Verwaltung
Coordinating Open-Source Software Development
Valhalla : flexibles Open-Source Routing
Explanation of the Model Checker Verification Results
Rational verification: game-theoretic verification of multi-agent systems
Open-Source Multiparametric Optocardiography
Multi-Agent Safety Verification using Symmetry Transformations
Die Berliner OpenSource Strategie
Open-source digital biomarker development
Valhalla - Flexibles Open-Source Routing
Automating Open-Source License Compliance
3D OpenSource software Stack
Open-Source in der Verwaltung
Coordinating Open-Source Software Development