AAAAAA

   
Results: 1-10 |
Results: 10
AN ALGORITHMIC APPROACH FOR CHECKING CLOSURE-PROPERTIES OF TEMPORAL LOGIC SPECIFICATIONS AND OMEGA-REGULAR LANGUAGES
Authors: PELED D WILKE T WOLPER P
Citation: D. Peled et al., AN ALGORITHMIC APPROACH FOR CHECKING CLOSURE-PROPERTIES OF TEMPORAL LOGIC SPECIFICATIONS AND OMEGA-REGULAR LANGUAGES, Theoretical computer science, 195(2), 1998, pp. 183-203
ON PROJECTIVE AND SEPARABLE PROPERTIES
Authors: PELED D
Citation: D. Peled, ON PROJECTIVE AND SEPARABLE PROPERTIES, Theoretical computer science, 186(1-2), 1997, pp. 135-156
STUTTER-INVARIANT TEMPORAL PROPERTIES ARE EXPRESSIBLE WITHOUT THE NEXT-TIME OPERATOR
Authors: PELED D WILKE T
Citation: D. Peled et T. Wilke, STUTTER-INVARIANT TEMPORAL PROPERTIES ARE EXPRESSIBLE WITHOUT THE NEXT-TIME OPERATOR, Information processing letters, 63(5), 1997, pp. 243-246
USING PARTIAL-ORDER METHODS IN THE FORMAL VALIDATION OF INDUSTRIAL CONCURRENT PROGRAMS
Authors: GODEFROID P PELED D STASKAUSKAS M
Citation: P. Godefroid et al., USING PARTIAL-ORDER METHODS IN THE FORMAL VALIDATION OF INDUSTRIAL CONCURRENT PROGRAMS, IEEE transactions on software engineering, 22(7), 1996, pp. 496-507
THE ACCUMULATION OF WEALTH AND THE CYCLICAL GENERATION OF NEW TECHNOLOGIES - A SEARCH THEORETIC APPROACH
Authors: BENTAL B PELED D
Citation: B. Bental et D. Peled, THE ACCUMULATION OF WEALTH AND THE CYCLICAL GENERATION OF NEW TECHNOLOGIES - A SEARCH THEORETIC APPROACH, International economic review, 37(3), 1996, pp. 687-718
HIGH-ORDER BENDING OF PIECEWISE UNIFORM SANDWICH BEAMS WITH A TAPEREDTRANSITION ZONE AND A TRANSVERSELY FLEXIBLE CORE
Authors: FROSTIG Y PELED D
Citation: Y. Frostig et D. Peled, HIGH-ORDER BENDING OF PIECEWISE UNIFORM SANDWICH BEAMS WITH A TAPEREDTRANSITION ZONE AND A TRANSVERSELY FLEXIBLE CORE, Composite structures, 31(2), 1995, pp. 151-162
SOCIAL INSURANCE AND TAXATION UNDER SEQUENTIAL MAJORITY VOTING AND UTILITARIAN REGIMES
Authors: AIYAGARI SR PELED D
Citation: Sr. Aiyagari et D. Peled, SOCIAL INSURANCE AND TAXATION UNDER SEQUENTIAL MAJORITY VOTING AND UTILITARIAN REGIMES, Journal of economic dynamics & control, 19(8), 1995, pp. 1511-1528
HIGH-ORDER BENDING OF SANDWICH BEAMS WITH TRANSVERSELY FLEXIBLE CORE AND NONPARALLEL SKINS
Authors: PELED D FROSTIG Y
Citation: D. Peled et Y. Frostig, HIGH-ORDER BENDING OF SANDWICH BEAMS WITH TRANSVERSELY FLEXIBLE CORE AND NONPARALLEL SKINS, Journal of engineering mechanics, 120(6), 1994, pp. 1255-1269
A COMPOSITIONAL FRAMEWORK FOR FAULT-TOLERANCE BY SPECIFICATION TRANSFORMATION
Authors: PELED D JOSEPH M
Citation: D. Peled et M. Joseph, A COMPOSITIONAL FRAMEWORK FOR FAULT-TOLERANCE BY SPECIFICATION TRANSFORMATION, Theoretical computer science, 128(1-2), 1994, pp. 99-125
PROVING PARTIAL ORDER PROPERTIES
Authors: PELED D PNUELI A
Citation: D. Peled et A. Pnueli, PROVING PARTIAL ORDER PROPERTIES, Theoretical computer science, 126(2), 1994, pp. 143-182
Risultati: 1-10 |