Deriving Liveness Goals from Temporal Logic Specifications
C. CALEIRO, G. SAAKE, A. SERNADASVolume:
22
Year:
1996
Language:
english
Pages:
33
DOI:
10.1006/jsco.1996.0065
File:
PDF, 729 KB
english, 1996