DBIS EPub

Verifikation von ADEPT-Prozessen mittels Model Checking

Knuplesch, David (2008) Verifikation von ADEPT-Prozessen mittels Model Checking. Diploma thesis, Universität Ulm.

[img] PDF - Registered users only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1889Kb

Item Type:Thesis (Diploma)
Subjects:UNSPECIFIED
ID Code:605
Deposited By: Linh Thao Ly
BibTex Export:BibTeX
Deposited On:22 May 2009 14:34
Last Modified:14 Oct 2011 10:27

Repository Staff Only: item control page