Modeling and Property Verification of Lactose Operon Regulation.

Marcelo Cezar Pinto Luciana Foss José C. M. Mombach Leila Ribeiro

Published in: BSB (2005)

Keyphrases

databases
image sequences
real time
information retrieval
artificial intelligence
metadata
image processing
web services
colored petri nets