H ? « ‹ ← → › »

Language peer sets for Casl LTL:
Italy↑
Italy/2000↑
Designed 2000 ↑
2000s languages ↑
Internet↑
New internationlism↑

Casl LTL(ID:5417/cas008)

alternate simple view
Country: Italy
Designed 2000

extention of Casl with a CTL labeled transition logic
Related languages
CASL → Casl LTL   Extension of
References:
  • G. Reggio and L. Repetto. (2000) G. Reggio and L. Repetto. "Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl" Technical Report DISI-TR-00-2, DISI -- Universit`a di Genova, Italy, 2000
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder