Compiling Real-Time Scenarios into a Timed Automaton
| Title | Compiling Real-Time Scenarios into a Timed Automaton |
| Publication Type | Conference Paper |
| Year of Publication | 2001 |
| Authors | Salah, A., R. Dssouli, and G. Lapalme |
| Conference Name | FORTE 2001 - 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems |
| Date Published | aug |
| Place Published | Cheju Island, Korea |
