M.J. Rodriguez-Fortiz

发表

Using predicate temporal logic and coloured Petri nets to specifying integrity restrictions in the structural evolution of temporal active systems

M.J. Rodriguez-Fortiz, J. Parets-Llorca, 2000, Proceedings International Symposium on Principles of Software Evolution.