Authors: PUCHOL C STUART DA MOK AK

Citation: C. Puchol et al., AN OPERATIONAL SEMANTICS AND COMPILER FOR REAL-TIME SPECIFICATIONS, Integrated computer-aided engineering, 5(3), 1998, pp. 187-206

Authors: JAGADEESAN LJ VOTTA LG PORTER A PUCHOL C RAMMING JC

Citation: Lj. Jagadeesan et al., SPECIFICATION-BASED TESTING OF REACTIVE SOFTWARE - A CASE-STUDY IN TECHNOLOGY-TRANSFER, The Journal of systems and software, 40(3), 1998, pp. 249-262

Authors: ATKINS DL BALL T BARAN TR BENEDIKT MA COX KC LADD DA MATAGA PA PUCHOL C RAMMING JC REHOR KG TUCKEY C

Citation: Dl. Atkins et al., INTEGRATED WEB AND TELEPHONE SERVICE CREATION, Bell Labs technical journal, 2(1), 1997, pp. 19-35

Authors: MORILLAS C MUNOZ ML MELIA C PENA H ROYO R PUCHOL C MORA V HERNANDEZ A

Citation: C. Morillas et al., THE INFLUENCE OF BODY-FAT ON CARDIOVASCULAR RISK-FACTORS IN WOMEN WITH MORBID-OBESITY, Atherosclerosis, 134(1-2), 1997, pp. 320-321

Authors: ARDIS MA CHAVES JA JAGADEESAN LJ MATAGA P PUCHOL C STASKAUSKAS MG VONOLNHAUSEN J

Citation: Ma. Ardis et al., A FRAMEWORK FOR EVALUATING SPECIFICATION METHODS FOR REACTIVE SYSTEMS- EXPERIENCE REPORT, IEEE transactions on software engineering, 22(6), 1996, pp. 378-389