Author: Juan Carlos Augusto
Publications
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.