Items where Year is 1992

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)

Lattanzi, Nicola Tesorieri di aziende industriali e commerciali di fronte al contratto di "financial future": dialogo possibile? Lucca economia, 1992. pp. 15-18. ISSN 1594-7661 (1992)

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)