Export results as [feed] RSS 1.0 [feed] RSS 2.0
Order by: Year of publication | Authors | Document Type | No order

Doctoral dissertation

Salger, Frank (2001) Verification in the Hierarchical Development of Reactive Systems. Open Access [Doctoral dissertation]
[img]
Preview

Fecher, Harald (2003) Action Refinement in End-Based Choice Settings. Open Access [Doctoral dissertation]
[img]
Preview

Wolf, Verena (2008) Equivalences on Phase Type Processes. Open Access Mannheim [Doctoral dissertation]
[img]
Preview

Martens, Moritz (2009) Establishing Properties of Interaction Systems. Open Access Mannheim [Doctoral dissertation]
[img]
Preview

Minnameier, Christoph (2010) Interaction in Concurrent Systems. Open Access [Doctoral dissertation]
[img]
Preview

Lambertz, Christian (2012) Software Components and Formal Methods from a Computational Viewpoint. Open Access Mannheim [Doctoral dissertation]
[img]
Preview

Semmelrock, Nils (2013) Complexity Results for Reachability in Cooperating Systems and Approximated Reachability by Abstract Over-Approximations. Open Access Mannheim [Doctoral dissertation]
[img]
Preview

This list was created automatically on Wed Oct 28 07:24:08 2020 CET