Selected Applications.
Uloženo v:
| Název: | Selected Applications. |
|---|---|
| Autoři: | Fisher, Michael |
| Zdroj: | Introduction to Practical Formal Methods Using Temporal Logic; 2011, p243-266, 24p |
| Databáze: | Complementary Index |
| ISBN: | 9780470027882 |
|---|---|
| DOI: | 10.1002/9781119991472.ch7 |