Login / Signup

Modelling and validating broadcasting-free concurrent systems.

Stanislaw Budkowski
Published in: Fehlertolerierende Rechensysteme (1984)
Keyphrases