Voltar
Livro Revisado por pares
BIBTEX RIS

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness

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

10.1007/3-540-52559-9

ISSN

1611-3349

Autores

D Barstow, Brauer Brinch, Gries Luckham, Moler Pnueli, G Seegm ller, J Stoer, Niklaus Wirth, J. Bakker, Willem P. de Roever, Grzegorz Rozenberg,

Tópico(s)

Mathematical Control Systems and Analysis

Referência(s)