Santiago Pavn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
1
Active years
1988–1996
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | FORTE | From LOTOS to Petri Nets through Iexpansion. | David Larrabeiti, Juan Quemada, Santiago Pavn |
| 1993 | FORTE | Compressing the State Space Representation of LOTOS Specifications. | Juan Quemada, David Larrabeiti, Santiago Pavn |
| 1991 | FORTE | Inverse Expansion. | Santiago Pavn, M. Hulstrm, Juan Quemada, David de Frutos-Escrig, Y. Ortega |
| 1990 | FORTE | The Testing Functionalities of LOLA. | Santiago Pavn, Martn Llamas Nistal |
| 1988 | FORTE | Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. | Juan Quemada, Santiago Pavn, Angel Fernndez |