Lindholm, Dan, Georg Dechant, Carl-Philipp J Heisenberg, and Hans Thoenen. “Brain-Derived Neurotrophic Factor Is a Survival Factor for Cultured Rat Cerebellar Granule Neurons and Protects Them against Glutamate-Induced Neurotoxicity.”https://doi.org/10.1111/j.1460-9568.1993.tb00213.x__European Journal of Neuroscience. Wiley-Blackwell, 1993.https://doi.org/10.1111/j.1460-9568.1993.tb00213.x .

Partridge, Linda, and Nicholas H Barton. “Evolution of Aging: Testing the Theory Using Drosophila.”https://doi.org/10.1007/BF01435990__Genetica. Springer, 1993.https://doi.org/10.1007/BF01435990 .

Partridge, Linda, and Nicholas H Barton. “Optimality, Mutation and the Evolution of Ageing.”https://doi.org/10.1038/362305a0__Nature. Nature Publishing Group, 1993.https://doi.org/10.1038/362305a0 .

Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Towards Refining Temporal Specifications into Hybrid Systems.”https://doi.org/10.1007/3-540-57318-6_24__In International Hybrid Systems Workshop, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:60–76. Springer, 1993.https://doi.org/10.1007/3-540-57318-6_24 .

Alur, Rajeev, and Thomas A Henzinger. “Real-Time Logics: Complexity and Expressiveness.”https://doi.org/10.1006/inco.1993.1025__Information and Computation. Elsevier, 1993.https://doi.org/10.1006/inco.1993.1025 .

Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, and Pei Ho. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.”https://doi.org/10.1007/3-540-57318-6_30__In Hybrid Systems, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:209–29. Springer, 1993.https://doi.org/10.1007/3-540-57318-6_30 .

Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.”https://doi.org/10.1109/REAL.1993.393520 __In 1993 Proceedings Real-Time Systems Symposium, 2–11. IEEE, 1993.https://doi.org/10.1109/REAL.1993.393520  .

Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems.”https://doi.org/10.1007/3-540-56922-7_16__In 5th International Conference on Computer Aided Verification, 697:181–93. Springer, 1993.https://doi.org/10.1007/3-540-56922-7_16 .

Alur, Rajeev, Thomas A Henzinger, and Moshe Vardi. “Parametric Real-Time Reasoning.”https://doi.org/10.1145/167088.167242__In Proceedings of the 25th Annual ACM Symposium on Theory of Computing, 592–601. ACM, 1993.https://doi.org/10.1145/167088.167242 .