Yazar
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product
Yazar
Ganty, Pierre. editor.
Format:
Electronic Resources
Alıntı:
Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols for open-ended
View Other Search Results
Yazar
Maffei, Matteo. editor.
Format:
Electronic Resources
Alıntı:
Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols for open-ended
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
: Parameterized Model Checking of Threshold-Based Distributed Algorithms -- Skipping Refinement -- Quantitative