Logo eprints

Items where Year is 1992

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | Item Type | No Grouping
Jump to: D | S
Number of items: 2.


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)


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)

This list was generated on Sat Dec 16 20:01:46 2017 CET.