Roberto Segala

Identifiers

Open LibraryOL3131197A

Top Subjects

Artificial intelligence (1)
Computer Science (1)
Computers (1)
Computer Books: General (1)
Temporal automata (1)
Nancy Lynch (1)

Books by Roberto Segala

Total count: 3

Process Algebra and Probabilistic Methods : Performance Modeling and VerificationSecond Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings

Springer London, Limited2003-01-01
The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)

Morgan & Claypool Publishers2006-04-21
Theory of Timed I/o Automata, Second Edition

Springer International Publishing AG2010-01-01