Erweiterte Suche
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0

Zitation

Gruppieren nach: Erscheinungsjahr | Autoren | Dokumenttyp | Keine Sortierung
Springe zu: F | L | M | S | W

F

Fecher, Harald (2003) Action Refinement in End-Based Choice Settings. Open Access None [Dissertation]
[img]
Vorschau

L

Lambertz, Christian (2012) Software components and formal methods from a computational viewpoint. Open Access Mannheim [Dissertation]
[img]
Vorschau

M

Martens, Moritz (2009) Establishing Properties of Interaction Systems. Open Access None Mannheim [Dissertation]
[img]
Vorschau

Minnameier, Christoph (2010) Interaction in Concurrent Systems. Open Access None [Dissertation]
[img]
Vorschau

S

Salger, Frank (2001) Verification in the Hierarchical Development of Reactive Systems. Open Access None [Dissertation]
[img]
Vorschau

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

W

Wolf, Verena (2008) Equivalences on Phase Type Processes. Open Access None Mannheim [Dissertation]
[img]
Vorschau

Diese Liste wurde am Thu Apr 18 04:14:22 2024 CEST automatisch erstellt.