Idioma:

Formal modeling and analysis of timed systems third international conference, FORMATS 2005, Uppsala, Sweden September 26-28, 2005 : proceedings

FORMATS 2005 (2005 Uppsala, Sweden) Paul Pettersson; Wang Yi; SpringerLink (Online service)

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3829 ) e outros locais(Acessar)

Título:
Formal modeling and analysis of timed systems third international conference, FORMATS 2005, Uppsala, Sweden September 26-28, 2005 : proceedings
Autor: FORMATS 2005 (2005 Uppsala, Sweden)
Paul Pettersson; Wang Yi; SpringerLink (Online service)
Assuntos: TEORIA DOS AUTÔMATOS (CONGRESSOS)
Notas: "This volume contains the proceedings of FORMATS 2005, the Third International Conference on Formal Modelling and Analysis of Timed Systems, held in Uppsala, Sweden, September 26 -28, 2005..."
Títulos relacionados: Série:Lecture notes in computer science 3829; Lecture notes in computer science
Editor: Berlin Springer
Data de criação/publicação: c2005
Formato: ix, 303 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados