Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Roberto Segala | lit.salon

Author

Roberto Segala

RS

Author record

3 works

2003 across 1 dated work

No biography is available yet.

Start with

Process Algebra and Probabilistic Methods : Performance Modeling and Verification Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings2003
With Holger Hermanns

Books

3 works

Featured (1)Featured (1)All (3)All (3)

Search booksSort books

Process Algebra and Probabilistic Methods : Performance Modeling and Verification Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings2003
With Holger Hermanns
1 edition
shelves
0
reviews
0
lists
0
quotes
0
The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)2006
With Dilsun K. Kaynar, Nancy Lynch, Frits Vaandrager
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Theory of Timed I/o Automata, Second Edition2010
With Dilsun Kaynar, Nancy Lynch, Frits Vaandrager
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Roberto Segala.

The conversation is still open.

There is no public salon activity to show for Roberto Segala yet.