//]]>
Reactive systems : modelling, specification and verification /   Publication: Cambridge : Cambridge University Press, 2007 . xvi, 284 p. : 26 cm. Date:2007 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Intelligence and security informatics for international security : , Information sharing and data mining / by Chen, Hsinchum Publication: New York : Springer, 2006 . xvii, 182 p. : Date:2006 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart