Quantified abstract configurations of distributed systems
- Albert, E.
- Correas, J.
- Puebla, G.
- Román-Díez, G.
ISSN: 1433-299X, 0934-5043
Año de publicación: 2015
Volumen: 27
Número: 4
Páginas: 665-699
Tipo: Artículo
ISSN: 1433-299X, 0934-5043
Año de publicación: 2015
Volumen: 27
Número: 4
Páginas: 665-699
Tipo: Artículo