Stem trio$ (all stems)

6 papers:

ICML-c2-2014-MannMM

Time-Regularized Interrupting Options (TRIO) (TAM, DJM, SM), pp. 1350–1358.

DLT-2011-KortelainenS #bound #context-free grammar

There Does Not Exist a Minimal Full Trio with Respect to Bounded Context-Free Languages (JK, TS), pp. 312–323.

VLDB-2006-AgrawalBSHNSW #named #nondeterminism

Trio: A System for Data, Uncertainty, and Lineage (PA, OB, ADS, CH, SUN, TS, JW), pp. 1151–1154.

FME-2003-MorzentiPPS #model checking #specification

Model-Checking TRIO Specifications in SPIN (AM, MP, PSP, PS), pp. 542–561.

ICSE-1992-FelderM #realtime #specification #validation

Validating Real-Time Systems by History-Checking TRIO Specifications (MF, AM), pp. 199–211.

TAV-1991-GhezziK #approach #specification

Executing Formal Specifications: The ASTRAL to TRIO Translation Approach (CG, RAK), pp. 112–122.