Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction.

Inseok Hwang, Hamsa Balakrishnan, Ronojoy Ghosh, Claire J. Tomlin

Browse the full HiPC paper archive.