CTL-property Transformations along an Incremental Design Process
Cécile Braunstein, Emmanuelle EncrenazVolume:
9
Language:
english
Pages:
12
DOI:
10.1007/s10009-006-0007-9
Date:
February, 2007
File:
PDF, 511 KB
english, 2007