Methods and Concepts for Efficient Verification of UML/OCL Models

Research output: Book/anthology/thesis/reportPh.D. thesisResearch

Standard

Methods and Concepts for Efficient Verification of UML/OCL Models. / Shaikh, Asadullah.

Syddansk Universitet. Det Naturvidenskabelige Fakultet, 2012.

Research output: Book/anthology/thesis/reportPh.D. thesisResearch

Harvard

Shaikh, A 2012, Methods and Concepts for Efficient Verification of UML/OCL Models. Syddansk Universitet. Det Naturvidenskabelige Fakultet.

APA

Shaikh, A. (2012). Methods and Concepts for Efficient Verification of UML/OCL Models. Syddansk Universitet. Det Naturvidenskabelige Fakultet.

Vancouver

Shaikh A. Methods and Concepts for Efficient Verification of UML/OCL Models. Syddansk Universitet. Det Naturvidenskabelige Fakultet, 2012.

Author

Shaikh, Asadullah. / Methods and Concepts for Efficient Verification of UML/OCL Models. Syddansk Universitet. Det Naturvidenskabelige Fakultet, 2012.

Bibtex

@phdthesis{2081dd23ea5b4b818104f8c70a9d2c01,
title = "Methods and Concepts for Efficient Verification of UML/OCL Models",
author = "Asadullah Shaikh",
year = "2012",
language = "English",
publisher = "Syddansk Universitet. Det Naturvidenskabelige Fakultet",

}

RIS

TY - BOOK

T1 - Methods and Concepts for Efficient Verification of UML/OCL Models

AU - Shaikh,Asadullah

PY - 2012

Y1 - 2012

M3 - Ph.D. thesis

BT - Methods and Concepts for Efficient Verification of UML/OCL Models

PB - Syddansk Universitet. Det Naturvidenskabelige Fakultet

ER -