Implicit integration of scenarios into a reduced timed automaton
| Title | Implicit integration of scenarios into a reduced timed automaton |
| Publication Type | Journal Article |
| Year of Publication | 2003 |
| Authors | Salah, A., R. Dssouli, and G. Lapalme |
| Journal | Journal of Information and Software Technology |
| Volume | 45 |
| Pagination | 715-725 |
PDF:
