|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
4 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Integrating discrete controller synthesis into a reactive programming language compiler |
Delaval, Gwenaël |
2013 |
23 | 4 |
p. 385-418 |
article |
|
| 2 | Operational semantics of a domain specific language for real time musician–computer interaction |
Echeveste, José |
2013 |
23 | 4 |
p. 343-383 |
article |
|
| 3 | Shrinking of Time Petri nets |
Lime, Didier |
2013 |
23 | 4 |
p. 419-438 |
article |
|
| 4 | Special section on modeling of reactive systems |
Craye, Étienne |
2013 |
23 | 4 |
p. 341-342 |
article |
4 results found