Quantified abstract configurations of distributed systems
- Albert, E.
- Correas, J.
- Puebla, G.
- Román-Díez, G.
ISSN: 1433-299X, 0934-5043
Any de publicació: 2015
Volum: 27
Número: 4
Pàgines: 665-699
Tipus: Article
ISSN: 1433-299X, 0934-5043
Any de publicació: 2015
Volum: 27
Número: 4
Pàgines: 665-699
Tipus: Article