Discover open access scientific publications

Search, annotate, share and cite publications

Publications by J. Gannon

Cyclin B2-Null Mice Develop Normally and Are Fertile Whereas Cyclin B1-Null Mice Die in Utero

Proceedings of the National Academy of Sciences of the United States of America

Multidisciplinary

English

State-Based Model Checking of Event-Driven System Requirements

IEEE Transactions on Software Engineering

English