dill

n.

小茴香；莳萝，莳萝的种子；草茴香；

1. Coming out of a cave,I saw a dill.
   从洞口出来，我看到一棵莳萝草。

A theory of timed automata
A theory of timed automata
Electrodynamics of Continuous Media
Symbolic model checking: 10 20 states and beyond
Symbolic model checking: $10sp {20}$ states and beyond.
Dominant forces in protein folding
Calculation of percentage changes in volumes of blood, plasma, and red cells in dehydration.
From Levinthal to pathways to funnels.
Symbolic model checking: 10E20 states and beyond
Principles of protein folding--a perspective from simple exact models.