Results 121 to 130 of about 113,489 (230)

Lactose Carrier Protein of Escherichia coli Structure and Expression of Plasmids Carrying the Y Gene of the lac Operon [PDF]

open access: bronze, 1980
R. M. Teather   +7 more
openalex   +1 more source

Modular Verification of Interactive Systems with an Application to Biology [PDF]

open access: yesScientific Annals of Computer Science, 2011
We propose sync-programs, an automata-based formalism for the description of biological systems, and a modular verification technique for such a formalism that allows properties expressed in the universal fragment of CTL to be verified on suitably chosen
P. Drabik   +2 more
doaj  

Home - About - Disclaimer - Privacy