Searching for "SAL 2." – sorted by Relevance.
81 documents found, showing 1 through 10.
Next 10 →
-
Sal 2
- …Tool description to be presented at CAV, Boston MA, July 2004. c #Springer-Verlag SAL 2…
- Add To MetaCart
-
Sal 2
- …Tool description to be presented at CAV 2004. SAL 2 # Leonardo de Moura, Sam Owre, Harald Rue…
- Add To MetaCart
-
Tool description to be presented at CAV, Boston MA, July 2004. c○Springer-Verlag
- …Tool description to be presented at CAV, Boston MA, July 2004. c○Springer-Verlag SAL 2 ⋆ Leonardo…
- Add To MetaCart
-
Copyright © 1997 by The Endocrine Society Parathyroid Hormone Increases Bone Formation and Improves Mineral Balance in Vitamin D-Deficient Female Rats*
- …-sufficient, saline-injected (�D Sal); 2) vitamin D-sufficient, human (h) PTH-(1–38)-treated (�D PTH); 3) vitamin D…
- Add To MetaCart
-
ImprovisationBuilder: improvisation as conversation
- … of sound. 2.1. Sal-Mar Construction and SAL 2. BACKGROUND The Sal-Mar Construction (Franco 1974, Martirano…
- Cited by 7 (1 self) – Add To MetaCart
-
unknown title
- … Tool description to be presented at CAV, Boston MA, July 2004.cflSpringer-Verlag SAL 2…
- Add To MetaCart
-
Derived classes as a basis for views in UML/OCL data models
- … to class Emp1 Emp1 nm1: String sal1: Integer Now consider the case where we want to add a class, say Emp2…
- Cited by 3 (2 self) – Add To MetaCart
-
Dealing with deviations in DBMSs: an approach to revise consistency constraints
- … ; E 2 ; Sal 1 ; Sal 2 (manager(E 1 ; E 2 ) salary(E 1 ; Sal 1 ) salary(E 2 ; Sal 2 ) ! Sal 1 ? (Sal…
- Add To MetaCart
-
Object-oriented modeling and design of database federations
- … of Emp2 are nm2 and sal2 respectively (indicating name and salary attributes for Emp2 objects…
- Cited by 2 (1 self) – Add To MetaCart
-
Disappearing Formal Methods
- … for simulation. For example, in SAL [2], the simulation model is translated into the SAL intermediate language…
- Cited by 8 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
