Statistics
Publications
3
Citations
103
H-Index
3
Active since
2004
Affiliations
Tobe Toben is an author at Carl von Ossietzky Universität Oldenburg specializing in computing, formal verification, and verification.
Publications per year
2004–2006
3
3
The Rhapsody UML Verification Environment
I. Schinz, Tobe Toben, C. Mrugalla et al. · 2004 · 54 citations
The rhapsody UML verification environment
I. Schinz, Tobe Toben, C. Mrugalla et al. · 2004 · 31 citations
Specification and Verification of Dynamic Communication Systems
J. Bauer, Ina Schaefer, Tobe Toben et al. · 2006 · 18 citations
1–3 of 3