Roberto Segala · 3 obras en el catálogoObrasThe theory of timed I/O automataPProcess Algebra and Probabilistic Methods : Performance ModeProcess Algebra and Probabilistic Methods : Performance Modeling and VerificationTTheory of Timed I/o Automata, Second EditionTheory of Timed I/o Automata, Second Edition
PProcess Algebra and Probabilistic Methods : Performance ModeProcess Algebra and Probabilistic Methods : Performance Modeling and Verification
