Browsing by Author Hayes, IJ
Showing results 3 to 3 of 3
< previous
Issue Date | Title | Author(s) |
---|---|---|
2014 | Reasoning about goal-directed real-time teleo-reactive programs | Dongol, B; Hayes, IJ; Robinson, PJ |
Issue Date | Title | Author(s) |
---|---|---|
2014 | Reasoning about goal-directed real-time teleo-reactive programs | Dongol, B; Hayes, IJ; Robinson, PJ |