2
Publications
148
Citations
2
H-Index
2002
Active since
Guillermo Lao is an author specializing in formal verification, formal methods, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceFormal VerificationSemantic WebCloud ComputingData ManagementSoftware DesignSystem SoftwareData Integration
Publications per year
2002–2002
2
2
XrML -- eXtensible rights Markup Language
Xin Wang, Guillermo Lao, Thomas DeMartini et al. · 2002 · 129 citations
Web Service Specification, Engineering, Digital Rights Management +19
XrML -- eXtensible rights Markup Language
Xin Wang, Guillermo Lao, Thomas DeMartini et al. · 2002 · 19 citations
Rows per page
1–2 of 2