Items where Research Area is "Computer Science and Applications" and Year is 1992

D

De Nicola, Rocco and Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia An action based framework for verifying logical and behavioural properties of concurrent systems. In: Computer Aided Verification (CAV 1991). Lecture Notes in Computer Science, 575 . Springer, pp. 37-47. ISBN 3-540-55179-4 (1992)

S

Swedo, Susan E. and Pietrini, Pietro and Leonard, Henrietta L. and Schapiro, Mark B. and Rettew, David C. and Goldberger, Erica L. and Rapoport, Stanley I. and Rapoport, Judith L. and Grady, Cheryl L. Cerebral Glucose Metabolism in Childhood-Onset Obsessive-Compulsive Disorder: Revisualization during Pharmacotherapy. Archives of General Psychiatry, 49 (9). pp. 690-694. ISSN 0003-990X (1992)