Inseok Hwang, Hamsa Balakrishnan, Ronojoy Ghosh, Claire Tomlin. Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction. In Sartaj Sahni, Viktor K. Prasanna, Uday Shukla, editors, High Performance Computing - HiPC 2002, 9th International Conference, Bangalore, India, December 18-21, 2002, Proceedings. Volume 2552 of Lecture Notes in Computer Science, pages 715-724, Springer, 2002. [doi]
Abstract is missing.