Voltar
Capítulo de livro Acesso aberto Revisado por pares
BIBTEX RIS

Polynomial Precise Interval Analysis Revisited

2009; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-03456-5_28

ISSN

1611-3349

Autores

Thomas Martin Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm,

Tópico(s)

Formal Methods in Verification

Referência(s)