Accès ouvert déclaré 2026 software

ths-rwth/smtrat: 26.08

Gereon Kremer, Jasper Nalbach, Florian Corzilius, Sebastian Junges, ValentinPromies, Matthias Volk, MartaGr, HyPro project, Johannes Neuhaus, Koubska, Stefan Schupp, Andreas Krüger, RHaehn, Henrich Lauko, Wanja Hentze, Philippe-Specht, Carsten Perkampus, Barsha Zaman, Oemer42, Netz, aleksandar-timanov, Raoul, HilKai

0Citations signalées, ce qui n’est pas une note de qualité
5Institutions déclarées
4Pays d’affiliation déclarés

Rattachement africain : gb, de, nl, us. Niveau de preuve : code pays fourni par la source.

Le résumé fourni par la source

No description provided.

Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.

Le contrôle bibliographique ouvert

La source scientifique ouverte est momentanément indisponible.

Les institutions déclarées

Hybrid Instruments (United Kingdom)RWTH Aachen UniversityRadboud University NijmegenEindhoven University of TechnologyRuntime Verification (United States)

Une affiliation ne permet pas de déduire la nationalité d’un auteur.

Lire en accès ouvert Consulter la publication primaire Ouvrir le DOI

BNTIC News n’est pas le producteur de ces données. Les publications sont interrogées à la demande dans Crossref, OpenAIRE, DOAJ, Europe PMC, HAL, DataCite, AfricArXiv, ROR et la Banque mondiale, sans clé d’accès. OpenAlex reste optionnel. Aucun service payant n’est nécessaire et aucune donnée externe n’est enregistrée en base. Consulter les sources et leurs limites.