Quantified abstract configurations of distributed systems
- Albert, E.
- Correas, J.
- Puebla, G.
- Román-Díez, G.
ISSN: 1433-299X, 0934-5043
Année de publication: 2015
Volumen: 27
Número: 4
Pages: 665-699
Type: Article
ISSN: 1433-299X, 0934-5043
Année de publication: 2015
Volumen: 27
Número: 4
Pages: 665-699
Type: Article