View in EDS

Selected Applications.

Saved in:
Bibliographic Details
Title: Selected Applications.
Authors: Fisher, Michael
Source: Introduction to Practical Formal Methods Using Temporal Logic; 2011, p243-266, 24p
Database: Complementary Index
Description
ISBN:9780470027882
DOI:10.1002/9781119991472.ch7