geopro:pedro:timed
A theory of timed automata
| R. Alur and D. L. Dill, 1994 | Theoretical Computer Science | 2148 citations in Scholar |
geopro/pedro/timed.txt · Última modificação: 2007/07/16 16:30 por 150.163.2.54
| R. Alur and D. L. Dill, 1994 | Theoretical Computer Science | 2148 citations in Scholar |