Roberto Segala

Books that list Roberto Segala among their authors but not as the lead author: co-written works, collections and compilations.

The theory of timed I/O automataDilsun K. Kaynar

The theory of timed I/O automata

Dilsun K. Kaynar · 2006

Theory of Timed I/o Automata, Second EditionDilsun Kaynar

Theory of Timed I/o Automata, Second Edition

Dilsun Kaynar · 2010

Process Algebra and Probabilistic Methods : Performance Modeling and VerificationHolger Hermanns

Process Algebra and Probabilistic Methods : Performance Modeling and Verification

Holger Hermanns · 2003