Requirements Engineering and Efficient Verification of PSL Properties

Research output: ThesisDoctoral ThesisResearch

Original languageEnglish
Publication statusPublished - 2008

Cite this

Requirements Engineering and Efficient Verification of PSL Properties. / Pill, Ingo Hans.

2008.

Research output: ThesisDoctoral ThesisResearch

@phdthesis{397e490edb6e4fb080e9d5a5a573873c,
title = "Requirements Engineering and Efficient Verification of PSL Properties",
author = "Pill, {Ingo Hans}",
year = "2008",
language = "English",

}

TY - THES

T1 - Requirements Engineering and Efficient Verification of PSL Properties

AU - Pill, Ingo Hans

PY - 2008

Y1 - 2008

M3 - Doctoral Thesis

ER -