9 results on '"Clarke E.M."'
Search Results
2. Circulating Endothelial Progenitor Cells (EPCs): Variability between Normal Individuals as Measured by a New Standardized, Functional 5-Day In Vitro Colony Assay.
3. Symbolic model checking: 10 20 States and beyond
4. Reasoning about networks with many identical finite state processes
5. Characterizing finite Kripke structures in propositional temporal logic
6. An improved algorithm for the evaluation of fixpoint expressions
7. Can message buffers be axiomatized in linear temporal logic?
8. A unified approach for showing language inclusion and equivalence between various types of ω-automata
9. RECENT WORK WITH THE ELECTROSTATIC ELECTRON SELECTOR
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.