ProfileOfResearchers

Identified 3

1

TITLE: Deriving liveness goals from temporal logic specifications Full Text
AUTHORS: Caleiro, C ; Saake, G; Sernadas, A ;
PUBLISHED: 1996, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 22, ISSUE: 5-6

INDEXED IN:

Scopus

WOS

2

TITLE: Deriving Liveness Goals from Temporal Logic Specifications Full Text
AUTHORS: CALEIRO, C ; SAAKE, G; SERNADAS, A;
PUBLISHED: 1996, SOURCE: Journal of Symbolic Computation, VOLUME: 22, ISSUE: 5-6

INDEXED IN:

3

TITLE: Deriving Liveness Goals from Temporal Logic Specifications
AUTHORS: Carlos Caleiro; Gunter Saake; Amílcar Sernadas;
PUBLISHED: 1996, SOURCE: J. Symb. Comput., VOLUME: 22, ISSUE: 5/6

INDEXED IN:

DBLP

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service