Stubborn sets, frozen actions, and fair testing

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Antti Valmari, Walter VoglerGND
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/84774
ISSN:0169-2968OPAC
ISSN:1875-8681OPAC
Parent Title (English):Fundamenta Informaticae
Publisher:IOS Press
Editor:Matthew Hague, Igor Potapov
Type:Article
Language:English
Year of first Publication:2021
Release Date:2021/03/25
Tag:Theoretical Computer Science; Computational Theory and Mathematics; Algebra and Number Theory; Information Systems
Volume:178
Issue:1-2
First Page:139
Last Page:172
DOI:https://doi.org/10.3233/fi-2021-2001
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Professur für Theorie verteilter Systeme