LUIS FERNANDO
LLANA DÍAZ
Profesor titular de universidad
Gregorio
Diaz Descalzo
Publicacións nas 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)