geopro:pedro:timed
Essa é uma revisão anterior do documento!
A theory of timed automata
| R. Alur and D. L. Dill, 1994 | Theoretical Computer Science | source | 2148 citations in Scholar |
geopro/pedro/timed.1183735108.txt.gz · Última modificação: 2007/07/06 15:18 por pedro