Browsing by author JESUS JÚNIOR, Joabe Bezerra de
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 28-Aug-2023 | Mechanised local deadlock analysis based on timed behavioural patterns and responsiveness | JESUS JÚNIOR, Joabe Bezerra de |