Results 261 to 270 of about 1,525,492 (301)

Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3

Lecture Notes in Computer Science, 2020
exaly  

Enhanced and feedback-resistant γ-glutamyl kinase activity of anEscherichia colitransformant carrying a mutatedproBgene ofStreptococcus thermophilus

FEMS Microbiology Letters, 2000
Giuseppe Forlani, Ezio Ricca
exaly  

Probative Logic

2012
openaire   +1 more source

Comparison of Event-B and ProB Verification

2021
exaly  

Solution of Prob. 313

The Analyst, 1880
openaire   +1 more source

N-Terminal proB-type natriuretic peptide (NT-proBNP) concentrations in elite rugby players at rest and after active and passive recovery following strenuous training sessions

Clinical Chemistry and Laboratory Medicine, 2008
Giuseppe Banfi, Alessandra Barassi, Giuseppe Lippi   +2 more
exaly  

Solution of Prob. 315

The Analyst, 1880
openaire   +1 more source

The Igα/Igβ Heterodimer on μ-Negative ProB Cells Is Competent for Transducing Signals to Induce Early B Cell Differentiation

Immunity, 1997
Shinsuke Taki, Kerry S Campbell, Hajime Karasuyama   +2 more
exaly  

Solution of Prob. 338

The Analyst, 1881
openaire   +1 more source

Probative Logic

2005
openaire   +1 more source