Items where Year is 1987

D

De Nicola, Rocco Extensional Equivalences for Transition Systems. Acta Informatica, 24 (2). pp. 211-237. ISSN 0001-5903 (1987)

De Nicola, Rocco and Hennessy, Matthew CCS without tau's. In: TAPSOFT '87, Vol.1. Lecture Notes in Computer Science, 249 . Springer, pp. 138-152. ISBN 3-540-17660-8 (1987)

M

Marazziti, Donatella and Pietrini, Pietro and Martini, Claudia and Giannaccini, Gino and Perugi, Giulio and Placidi, Gian Franco and Cassano, Giovanni Battista and Lucacchini, Antonio A 3h-flunitrazepam binding inhibitor is present in psychiatric patients’sera. Neuropsychobiology, 18 (2). pp. 74-76. ISSN 0302-282X (1987)