Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2004 | Book Chapter | IST-REx-ID: 3587
Ulrich, Florian, and Carl-Philipp J. Heisenberg. “Gastrulation in Zebrafish.” Fish Development and Genetics : The Zebrafish and Medaka Models, edited by Vladimir Korzh and Zhiyuan Gong, vol. 2, World Scientific Publishing, 2004, pp. 39–86.View
2004 | Thesis | IST-REx-ID: 4424
Jhala, Ranjit. Program Verification by Lazy Abstraction. University of California, Berkeley, 2004, pp. 1–165.View