![]() | ![]() |
| 2006 | ||
|---|---|---|
| 1 | Mohammed Al Achhab, Ahmed Hammad, Hassan Mountassir: Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. ISoLA 2006: 28-35 | |
| 1 | Ahmed Hammad | [1] |
| 2 | Hassan Mountassir | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page