Home > Authors > Roberto Segala

Roberto Segala

All books by Roberto Segala

(Displaying 3 Books)

Process Algebra and Probabilistic Methods : Performance Modeling and Verification

Process Algebra and Probabilistic Methods : Performance Modeling and Verification

Holger Hermanns

Theory of Timed I/o Automata, Second Edition

Theory of Timed I/o Automata, Second Edition

Dilsun Kaynar

The theory of timed I/O automata

The theory of timed I/O automata

Dilsun K. Kaynar

Looking for another book by Roberto Segala? Search for the book by title.