Welcome
Teaching
Research
Projects
CV
Contact info
Other stuff
Links
Unpublished papers
Model-checking by abstraction: Modal Transition Systems
.
L systems, Colonies, and Eco-grammars
.