No. Title Author Year
1 An Iterative Approach for Counting Reduced Ordered Binary Decision Diagrams Clément, Julien et al. 2023
2 Beyond Series-Parallel Concurrent Systems: The Case of Arch Processes Bodini, Olivier et al. 2018
3 The Combinatorics of Non-determinism Bodini, Olivier et al. 2013
Current Page :
Number of result pages: 1
Number of documents: 3

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