权威例句
Hybrid Systems in TLA+Hybrid systems in TLA +Model Checking TLA+ SpecificationsThe Tla region of the mouse: Identification of a new serologically defined locus, Qa-2Specifying Systems: The TLA+ Language and Tools for Hardware and Software EngineersA new serologically defined locus, Qa-1 , in the Tla -region of the mouseHeat Shock Proteins Can Regulate Expression of the Tla Region-Encoded Class Ib Molecule Qa-1Qat-4 and Qat-5, new murine T-cell antigens governed by the Tla region and identified by monoclonal antibodiesStructure of a gene encoding a murine thymus leukemia antigen, and organization of Tla genes in the BALB/c mouse.Achieving Non-Inclusive Cache Performance with Inclusive Caches: Temporal Locality Aware (TLA) Cache Management Policies