| Home | << 1 >> |
|
| Record | |||||
|---|---|---|---|---|---|
| Author | Della Penna, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico | ||||
| Title | Automated Generation Of Optimal Controllers Through Model Checking Techniques | Type | Book Chapter | ||
| Year | 2008 | Publication | Informatics in Control Automation and Robotics. Selected Papers from ICINCO 2006 | Abbreviated Journal | |
| Volume | Issue | Pages | 107-119 | ||
| Keywords | |||||
| Abstract | |||||
| Address | |||||
| Corporate Author | Thesis | ||||
Publisher  |
Springer | Place of Publication | Editor | ||
| Language | Summary Language | Original Title | |||
| Series Editor | Series Title | Abbreviated Series Title | |||
| Series Volume | Series Issue | Edition | |||
| ISSN | ISBN | Medium | |||
| Area | Expedition | Conference | |||
| Notes | Approved | yes | |||
| Call Number | Sapienza @ mari @ Dmtmt08 | Serial | 26 | ||
| Permanent link to this record | |||||