Morgan and Claypool Publishers · Springer
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Process Algebra and Probabilistic Methods Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, ... Notes in Computer Science , Band 2399) | 978-3-540-43913-4 (3-540-43913-7) | 2009 | Holger Hermanns | |
| The Theory of Timed I/O Automata | 978-1-59829-010-3 (1-59829-010-X) | 2006 | Dilsun K. Kaynar · Nancy Lynch · Frits Vaandrager |
R. S. · Robert Scheckley · Robert Scheichl · Robert Schiessl · Robert Schweichel · Robert Segal · Robert Segel · Robert Sheckley · Robert Sheckly · Robert Shekcley · Robert Shekli · Robert Siegel · Robert Siegl · Robert Siegle · Robert Sigal · Robert Sigalea · Robert Sigel · Robert Sokal · Robert Suckale · Roberta Sessoli · Roberto Sacile · Rupert Sigl