CiteSeer.IST Home   Check: The following citations are predicted to all refer to the same paper.   Details

M. Bozzano, G. Delzanno, and M. Martelli. A Linear Logic Specification of Chimera. In Proceedings of DYNAMICS'97, a satellite workshop of ILPS '97, 1997.

CiteSeer.IST - Copyright Penn State and NEC