Total Books: 1 - 2 /2
Killer Lymphocytes
This extensively documented, comprehensive survey of cell-mediated cytotoxicity (CMC) traces the history of killer lymphocytes ...
Continue reading
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Continue reading
Total Books: 1 - 2 /2
