| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume  |
Pages |
|---|---|---|---|---|---|---|---|---|---|
| Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems | 2013 | International Journal on Advances in Software | IARIA | 1942-2628 | vol. 6, nr 1&2 | 155-169 |