Formal Modeling and Analysis of Timed Systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings /

Na minha lista:
Detalhes bibliográficos
Autor principal: Jean-François Raskin, P. S. Thiagarajan (edición)
Formato: Livro
Idioma:inglês
Publicado em: Berlín, Alemania : Springer, 2007, c2007
Colecção:(Lecture Notes in Computer Science)
Acesso em linha:Ver documento en línea
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!