Results 191 to 195 of about 18,393 (195)

Decidability of infinite-state timed CCP processes and first-order LTL

Theoretical Computer Science, 2005
Frank D Valencia
exaly  

High temperature hydrothermal crystallization, morphology and yield control of zeolite type K-LTL

Microporous and Mesoporous Materials, 2004
S V Awate, P S Niphadkar, P N Joshi
exaly  

Evaluation of adsorption of cationic dyes on H-LTL and K-LTL zeolite

Journal of Porous Materials, 2014
exaly  

Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications

2018
Sylvain Halle
exaly  

LTL-Specification for Development and Verification of Control Programs

Automatic Control and Computer Sciences
Egor Kuzmin, Maxim Neyzov
exaly