Number of items: 1.
2003
|
Gomez, R.S. and Augusto, Juan.C and Acuña, Silvia.T.
(2003)
An Algorithm to Translate PARADIGM specifications to PLTL.
In:
Proceedings of the 3ras. Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria de Conocimiento (JIISIC'03).
, Valdivia, Chile
pp. 53-63.
The full text of this publication is not available from this repository.
|
|
This list was generated on Fri May 24 01:44:06 2013 BST.