AAAAAA

   
Results: 1-13 |
Results: 13
REACTIONS OF METAL-IONS WITH BETA-KETOAMIDES
Authors: HYNES MJ CLARKE EM
Citation: Mj. Hynes et Em. Clarke, REACTIONS OF METAL-IONS WITH BETA-KETOAMIDES, Perkin transactions. 2, (5), 1998, pp. 1263-1267
AN IMPROVED ALGORITHM FOR THE EVALUATION OF FIXPOINT EXPRESSIONS
Authors: BROWNE A CLARKE EM JHA S LONG DE MARRERO W
Citation: A. Browne et al., AN IMPROVED ALGORITHM FOR THE EVALUATION OF FIXPOINT EXPRESSIONS, Theoretical computer science, 178(1-2), 1997, pp. 237-255
SYMBOLIC TECHNIQUES FOR FORMALLY VERIFYING INDUSTRIAL-SYSTEMS
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
VERIFYING PARAMETERIZED NETWORKS
Authors: CLARKE EM GRUMBERG O JHA S
Citation: Em. Clarke et al., VERIFYING PARAMETERIZED NETWORKS, ACM transactions on programming languages and systems, 19(5), 1997, pp. 726-750
FORMAL METHODS - STATE-OF-THE-ART AND FUTURE-DIRECTIONS
Authors: CLARKE EM WING JM
Citation: Em. Clarke et Jm. Wing, FORMAL METHODS - STATE-OF-THE-ART AND FUTURE-DIRECTIONS, ACM computing surveys, 28(4), 1996, pp. 626-643
REGULATION OF THE RNA-POLYMERASE-I AND RNA-POLYMERASE-III TRANSCRIPTION SYSTEMS IN RESPONSE TO GROWTH-CONDITIONS
Authors: CLARKE EM PETERSON CL BRAINARD AV RIGGS DI
Citation: Em. Clarke et al., REGULATION OF THE RNA-POLYMERASE-I AND RNA-POLYMERASE-III TRANSCRIPTION SYSTEMS IN RESPONSE TO GROWTH-CONDITIONS, The Journal of biological chemistry, 271(36), 1996, pp. 22189-22195
COMPUTER-AIDED VERIFICATION
Authors: CLARKE EM KURSHAN RP
Citation: Em. Clarke et Rp. Kurshan, COMPUTER-AIDED VERIFICATION, IEEE spectrum, 33(6), 1996, pp. 61-67
TEMPORAL VERIFICATION OF REAL-TIME SYSTEMS
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
COORDINATE REGULATION OF RNA-POLYMERASE-I AND RNA-POLYMERASE-III IN SACCHAROMYCES-CEREVISIAE
Authors: RIGGS DL PETERSON CL CLARKE EM
Citation: Dl. Riggs et al., COORDINATE REGULATION OF RNA-POLYMERASE-I AND RNA-POLYMERASE-III IN SACCHAROMYCES-CEREVISIAE, The FASEB journal, 9(6), 1995, pp. 1331-1331
REACTIONS OF BETA-KETOAMIDES .1. KINETICS OF ENOLIZATION OF ACETOACETAMIDE IN WATER AND OF ACETOACETAMIDE AND ACETOACETANILIDE IN ETHANOL-WATER
Authors: HYNES MJ CLARKE EM
Citation: Mj. Hynes et Em. Clarke, REACTIONS OF BETA-KETOAMIDES .1. KINETICS OF ENOLIZATION OF ACETOACETAMIDE IN WATER AND OF ACETOACETAMIDE AND ACETOACETANILIDE IN ETHANOL-WATER, Perkin transactions. 2, (4), 1994, pp. 901-904
SYMBOLIC MODEL CHECKING FOR SEQUENTIAL-CIRCUIT VERIFICATION
Authors: BURCH JR CLARKE EM LONG DE MCMILLAN KL DILL DL
Citation: Jr. Burch et al., SYMBOLIC MODEL CHECKING FOR SEQUENTIAL-CIRCUIT VERIFICATION, IEEE transactions on computer-aided design of integrated circuits and systems, 13(4), 1994, pp. 401-424
MODEL CHECKING AND ABSTRACTION
Authors: CLARKE EM GRUMBERG O LONG DE
Citation: Em. Clarke et al., MODEL CHECKING AND ABSTRACTION, ACM transactions on programming languages and systems, 16(5), 1994, pp. 1512-1542
A UNIFIED APPROACH FOR SHOWING LANGUAGE INCLUSION AND EQUIVALENCE BETWEEN VARIOUS TYPES OF OMEGA-AUTOMATA
Authors: CLARKE EM DRAGHICESCU IA KURSHAN RP
Citation: Em. Clarke et al., A UNIFIED APPROACH FOR SHOWING LANGUAGE INCLUSION AND EQUIVALENCE BETWEEN VARIOUS TYPES OF OMEGA-AUTOMATA, Information processing letters, 46(6), 1993, pp. 301-308
Risultati: 1-13 |