Normal view MARC view

Mathematics Temporal Logic Specification (Genre/Form Term)

Number of records used in: 1
Preferred form: Mathematics Temporal Logic Specification

Machine generated authority record.

Work cat.: (OSt)4437: Fisher, Michael 1786, Introduction to Practical Formal Methods Using Temporal Logic, 2011

© Copyright Shiv Nadar University 2012. All Rights Reserved.  Disclaimer |  Sitemap
The Shiv Nadar University has been established under U.P. Act No 12 of 2011. Shiv Nadar University is UGC Approved.