![Foto de Gregorio](/img/nophoto.png)
Gregorio
Diaz Descalzo
Publicaciones en las que colabora con Gregorio Diaz Descalzo (2)
2016
-
The simulation relation for formal E-Contracts
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
Contract compliance monitoring of web services
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)