@inbook{ RODRIGUEZ_Parets-Llorca:81-85,

author = { MARIA JOSE RODRIGUEZ FORTIZ and Jose Parets-Llorca } ,

title = { USING PREDICATE TEMPORAL LOGIC AND COLOURED PETRI NETS TO SPECIFYING INTEGRITY RESTRICTION IN THE STRUCTURAL EVOLUTION OF TEMPORAL ACTIVE SYSTEMS },

booktitle = { ISPSE 2000 },

isbn = { 0-7695-0906-1 },

publisher = { DESCONOCIDA },

pages = { 81 - 85 },

year = { 2000 },

}