Model Checking, Hybrid Automata, and Systems Biology

http://hdl.handle.net/11390/693468

http://www.samsi.info/sites/default/files/samsicarla_122008.pdf

metadata only access