Work

LIPIcs, Volume 380, LICS 2026, Complete Volume

Year: 2026

Type: conference-paper

Abstract: LIPIcs, Volume 380, LICS 2026, Complete Volume

Source: DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

DOI: 10.4230/lipics.lics.2026

Authors: Faggian, Claudia, Katoen, Joost-Pieter

Institutions: Centre National de la Recherche Scientifique, Université Paris Cité, Institut de Recherche en Informatique Fondamentale, RWTH Aachen University, University of Twente

Language: English

Open Access status: green

OpenAlex ID: W7167844005

Cites:

Cited by:

Related to: