Roberto Segala

ספרים שבהם Roberto Segala מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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