guest ::
The probabilistic termination tool amber
; ; ;
In
Special Issue 'FM2021' / Issue Editors: Marieke Huisman, Corina Pasareanu, Zhan Naijun
In
Formal methods in system design 61(1), Seiten/Artikel-Nr.:90-109
2022 & 2023
Published: 10 May 2023
Online
DOI: 10.18154/RWTH-2023-05579
DOI: 10.1007/s10703-023-00424-z
URL: https://publications.rwth-aachen.de/record/959110/files/959110.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF
Dokumenttyp
Journal Article/Contribution to a book
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85159047402
WOS Core Collection: WOS:000985237200001
OpenAlex: W3214973620
Interne Identnummern
RWTH-2023-05579
Datensatz-ID: 959110
Beteiligte Länder
Austria, Germany
; 
; 
; Clarivate Analytics Master Journal List ; DEAL Springer ; Essential Science Indicators ; IF < 5 ; JCR ; Nationallizenz
; SCOPUS ; Science Citation Index Expanded ; Web of Science Core Collection
|
The record appears in these collections: |
PDF