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 | L | S
Number of items: 3.


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)

This list was generated on Mon Jul 22 10:01:17 2024 CEST.