Authors: CAMPOS S CLARKE EM MINEA M

Citation: S. Campos et al., SYMBOLIC TECHNIQUES FOR FORMALLY VERIFYING INDUSTRIAL-SYSTEMS, Science of computer programming, 29(1-2), 1997, pp. 79-98

Authors: CAMPOS S CLARKE E MARRERO W MINEA M

Citation: S. Campos et al., VERUS - A TOOL FOR QUANTITATIVE-ANALYSIS OF FINITE-STATE REAL-TIME SYSTEMS, ACM SIGPLAN NOTICES, 30(11), 1995, pp. 70-78

Authors: CAMPOS SV CLARKE EM MARRERO W MINEA M HIRAISHI H

Citation: Sv. Campos et al., TEMPORAL VERIFICATION OF REAL-TIME SYSTEMS, IEICE transactions on information and systems, E78D(7), 1995, pp. 796-801