Login
- Title:
Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- La Torre, Salvatore; Muscholl, Anca; Walukiewicz, Igor
- Journal title:
- Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
- Year:
- 2015
- Fulltext / DOI:
- doi:10.4230/lipics.concur.2015.72
- Publisher:
- Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
- Date of publication:
- 01.01.2015
BibTeX