Scheduling with timed automata
| Autor: | Abdeddaı¨m, Yasmina, Asarin, Eugene, Maler, Oded |
|---|---|
| Zdroj: | In Theoretical Computer Science 2006 354(2):272-300 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Abdeddaı¨m, Yasmina, Asarin, Eugene, Maler, Oded |
|---|---|
| Zdroj: | In Theoretical Computer Science 2006 354(2):272-300 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect