Book

Model Checking Trace-Based Information Flow Properties

For finite state systems and pushdown systems «

Score:

(3/0)

Reviews:

0

Times tipped:

0

Times read:

0

Author(s):

Deepak D'Souza, Raghavendra Kagalavadi Ramesh

Category:

ISBN

9783838377803

Information

Reviews

Wall

Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

No related books yet.

Model Checking Trace-Based Information Flow Properties

Welcome to Boeklezers.nl

Books related to Model Checking Trace-Based Information Flow Properties by Deepak D'Souza & Raghavendra Kagalavadi Ramesh