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
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