Verifikation von ADEPT-Prozessen mittels Model Checking

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

PDF - Registered users only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB)

Item Type:	Thesis (Diploma)
Divisions:	Faculty of Engineering, Electronics and Computer Science > Institute of Databases and Informations Systems > DBIS Research and Teaching > DBIS Teaching > Internal Work Faculty of Engineering, Electronics and Computer Science > Institute of Databases and Informations Systems > DBIS Research and Teaching > DBIS Research > Master and Phd-Thesis
Depositing User:	Linh Thao Ly
Date Deposited:	22 May 2009 14:34
Last Modified:	14 Oct 2011 10:27
URI:	http://dbis.eprints.uni-ulm.de/id/eprint/605

Actions (login required)