Diferenças

Aqui você vê as diferenças entre duas revisões dessa página.

--- geopro:pedro:timed [2007/07/06 15:18] – created pedro
+++ geopro:pedro:timed [2007/07/16 16:30] (atual) – 150.163.2.54
@@ Linha 1: / Linha 1: @@
 ====== A theory of timed automata ======
-|R. Alur and D. L. Dill, 1994|Theoretical Computer Science|[[http://portal.acm.org/citation.cfm?id=180782.180519| source]]|[[http://scholar.google.com.br/scholar?hl=pt-BR&lr=&cites=9837812367581874989|2148 citations in Scholar]] |
+|R. Alur and D. L. Dill, 1994|Theoretical Computer Science|[[http://leg.ufpr.br/~pedro/papers/timed-automata.pdf|pdf]] |[[http://scholar.google.com.br/scholar?hl=pt-BR&lr=&cites=9837812367581874989|2148 citations in Scholar]] |