Verification of an active control system using temporal process algebra
| Title | Verification of an active control system using temporal process algebra |
| Publication Type | Journal Articles |
| Year of Publication | 1996 |
| Authors | Elseaidy WM, Baugh JW, Cleaveland R |
| Journal | Engineering with computers |
| Volume | 12 |
| Issue | 1 |
| Pagination | 46 - 61 |
| Date Published | 1996/// |