Login
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- La Torre, Salvatore; Muscholl, Anca; Walukiewicz, Igor
- Titel:
- Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable
- Zeitschriftentitel:
- Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
- Jahr:
- 2015
- Volltext / DOI:
- doi:10.4230/lipics.concur.2015.72
- Verlag / Institution:
- Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
- Publikationsdatum:
- 01.01.2015
BibTeX