http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

COMPASS 3.0

Bozzano, Marco (Corresponding author) ; Bruintjes, Harold Yorick^RWTH* ; Cimatti, Alessandro ; Katoen, Joost-Pieter^RWTH* ; Noll, Thomas^RWTH* ; Tonetta, Stefano

In
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / Tomáš Vojnar, Lijun Zhang (Eds.). - Part 1, Seiten/Artikel-Nr: 379-385

2019

Konferenz/Event:25. International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Prague , Czech Republic , TACAS 2019 , 2019-04-06 - 2019-04-11

Konferenz/Event:22. European Joint Conference on Theory and Practice of Software , Prague , Czech Republic , ETAPS 2019 , 2019-04-06 - 2019-04-11

ImpressumCham, Switzerland : Springer Open

Umfang379-385

ISBN978-3-030-17461-3, 978-3-030-17462-0

ReiheLecture notes in computer science ; 11427

Online
DOI: 10.18154/RWTH-2022-11492
DOI: 10.1007/978-3-030-17462-0_25
10.1007/978-3-030-17462-0_25
URL: https://publications.rwth-aachen.de/record/860910/files/860910.pdf

Einrichtungen

1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
2. Fachgruppe Informatik (120000)

Thematische Einordnung (Klassifikation)
DDC: 005.1015113

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85064928141
WOS Core Collection: WOS:000681166500025

Interne Identnummern
RWTH-2022-11492
Datensatz-ID: 860910

Beteiligte Länder
Germany, Italy