No. Title Author Year
1 Affine Extensions of Integer Vector Addition Systems with States Blondin, Michael et al. 2018
2 Automatic Analysis of Expected Termination Time for Population Protocols Blondin, Michael et al. 2018
3 Forward Analysis for WSTS, Part III: Karp-Miller Trees Blondin, Michael et al. 2018
4 Large Flocks of Small Birds: on the Minimal Size of Population Protocols Blondin, Michael et al. 2018
Current Page :
Number of result pages: 1
Number of documents: 4


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI