๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Security analysis of GTRBAC and its variants using model checking

โœ Scribed by Samrat Mondal; Shamik Sural; Vijayalakshmi Atluri


Book ID
108107161
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
992 KB
Volume
30
Category
Article
ISSN
0167-4048

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Structural analysis of the recombinant t
โœ Christina Monetti; Hanspeter Rottensteiner; Herbert Gritsch; Alfred Weber; Fried ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 558 KB

## Abstract 2โ€D DIGE is a method that circumvents the gelโ€toโ€gel variability inherent in conventional 2โ€DE and is particularly useful for studying proteome changes in diverse applications such as developmental biology and tissue proteomics. We developed a 2โ€D DIGE protocol for recombinant factor VI