Author: Juan Carlos Augusto
Publication Overview
Publication period start: 2004
Number of co-authors: 1
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Augusto,
Juan Carlos
(2004):
Model Checking and Theorem Proving-Based Verification of EIS.
In:
ICEIS 2004
,
2004,
.
pp. IS-33-IS-34.
Gómez,
Rodolfo,
Augusto,
Juan Carlos
(2004):
Durative Events in Active Databases.
In:
ICEIS 2004
,
2004,
.
pp. 306-311.