Dataset - CKAN

Playing with probabilities in Reconfigurable Broadcast Networks

We study verification problems for a model of network with the following characteristics: the number of entities is parametric, communication is performed through...
- HTML

You can also access this registry using the API (see API Docs).