Model checking trace-based information flow properties, Fachbücher von Deepak D'Souza, Barbara Sprick, Raghavendra Kagal...

Model Checking Trace-based Information Flow Properties For Finite

Raghavendra Kagalavadi Ramesh (u. A.) | Model Checking Trace-based...

Model-checking infinite state systems for information flow security, Fachbücher

Model-checking Infinite State Systems For Information Flow Security

Specially Structured Flow Shop Scheduling Models, Fachbücher von Deepak Gupta, Sameer Sharma

Parameters in 2-stage Flow Shop Scheduling Models, Fachbücher von Deepak Gupta, Bharat Goyal

Model Checking and Artificial Intelligence, Fachbücher

Three Stage Specially Structured Flow Shop Scheduling Models, Fachbücher von Deepak Gupta, Shashi Bala, Payal Singla

Waiting Time of Jobs Models in n x 2 Flow Shop Scheduling, Fachbücher von Deepak Gupta, Bharat Goyal

Verification, Model Checking, and Abstract Interpretation, Fachbücher

Nanoclay Based Polymer composites & their Characterization Techniques, Fachbücher von N. Raghavendra

Model Checking for Game Design, Fachbücher von Giridhar Hariharan

Model Checking Software, Fachbücher von Ana Sokolova, Alfons Laarman

Model Checking Software, Fachbücher von Anton Wijs, Dragan Bosnacki

Flow Analysis Past an Obstruction, Fachbücher von Deepak Kumar