Voltar
Livro
BIBTEX RIS

Compositional Verification of Concurrent and Real-Time Systems

Springer Link; Linguagem: Português

Referência(s)