Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Automatic Repair and Deadlock Detection for Parameterized Systems
Jacobs, Swen; Sakr, Mouhammad; Volp, Marcus
2022In Automatic Repair and Deadlock Detection for Parameterized Systems
Peer reviewed
 

Files


Full Text
paper.pdf
Author postprint (511.39 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Jacobs, Swen;  CISPA Helmholtz Center for Information Security
Sakr, Mouhammad ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > CritiX
Volp, Marcus  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > CritiX
External co-authors :
yes
Language :
English
Title :
Automatic Repair and Deadlock Detection for Parameterized Systems
Publication date :
15 October 2022
Event name :
FMCAD
Event date :
from 19-10-2022 to 21-10-2022
Main work title :
Automatic Repair and Deadlock Detection for Parameterized Systems
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
Available on ORBilu :
since 28 November 2022

Statistics


Number of views
31 (3 by Unilu)
Number of downloads
1 (1 by Unilu)

Scopus citations®
 
1
Scopus citations®
without self-citations
0

Bibliography


Similar publications



Contact ORBilu