Concepedia
1
Publications
21
Citations
H-Index
1988
Active since
Santiago Pavón is an author specializing in engineering, data modeling, and formal methods.
Top concepts
EngineeringData ModelingFormal MethodsData Management
Publications per year
1988–1988
Transforming LOTOS Specifications with LOLA - The Parameterised Expansion
Juan Quemada, Santiago Pavón, Ángel Julián Martín Fernández · Formal Techniques for (Networked and) Distributed Systems · 1988 · 21 citations
Engineering, Very Large Database, Parameterized Complexity +5
Rows per page
1–1 of 1