Juan Carlos Augusto

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2004
Publication period end
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.