Modeling and Property Verification of Lactose Operon Regulation

Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro. Modeling and Property Verification of Lactose Operon Regulation. In João C. Setubal, Sergio Verjovski-Almeida, editors, Advances in Bioinformatics and Computational Biology, Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005, Proceedings. Volume 3594 of Lecture Notes in Computer Science, pages 95-106, Springer, 2005. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.