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]
Abstract is missing.