| Home | << 1 >> |
|
Author  |
Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Tronci, Enrico | Automatic Synthesis of Controllers from Formal Specifications | 1998 | Proc of 2nd IEEE International Conference on Formal Engineering Methods (ICFEM) | 10.1109/ICFEM.1998.730577 | 134-143 |