Model checking trace-based information flow properties

Raghavendra Kagalavadi Ramesh author Deepak D'Souza author Barbara Sprick author

Format:Paperback

Publisher:LAP Lambert Academic Publishing

Published:2nd Mar '12

Currently unavailable, and unfortunately no date known when it will be back

Model checking trace-based information flow properties cover

This paperback, "Model checking trace-based information flow properties" from Raghavendra Kagalavadi Ramesh, Deepak D'Souza & Barbara Sprick, was published 2nd March 2012 by LAP Lambert Academic Publishing.

ISBN: 9783838377803

Dimensions: 229mm x 152mm x 4mm

Weight: 104g

64 pages