👤

Roberto Segala

3 books

Books by Roberto Segala

Theory of Timed I/o Automata,
Theory of Timed I/o Automata, Second Edition
2010
The theory of timed I/O automata
The theory of timed I/O automata
2006
Process Algebra and Probabilis
Process Algebra and Probabilistic Methods : Performance Modeling and Verification
2003