Publicaciones 1995

• [Breuer et al. 95]
  Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos: A Simple Denotational Semantics, Proof Theory and a Validation Condition Generator for Unit-Delay VHDL, published in the journal International Journal of Formal Methods in System Design, volume 7, number 1/2, August 1995 Dordrecht: Kluwer Academic Publishers 1995, 27-52
  
  
• [Delgado, Breuer 95]
  Carlos Delgado Kloos, Peter T. Breuer: Formal Semantics for VHDL, Dordrecht: Kluwer Academic Publishers 1995, 264 pp., ISBN 0-7923-9552-2
  
  
• [Delgado et al. 95a]
  Carlos Delgado Kloos, Eduard Lecha, Manel More, Lluis Terés, Luis Sánchez Fernández: Introducción a los lenguajes VHDL, Verilog y UDL/I, published in the journal Novática, number 112/113, Nov.-Dec. 94/Enero-Feb. 95, 25-34
  
  
• [Delgado et al. 95b]
  Carlos Delgado Kloos, Eduard Lecha, Manel More, Lluis Terés, Luis Sánchez Fernández: Comparación de los lenguajes Verilog y UDL/I con VHDL, published in the journal Novática, number 112/113, Nov.-Dec. 94/Enero-Feb. 95, 35-44
  
  
• [Delgado et al. 95c]
  Carlos Delgado Kloos, Andrés Marín López, Tomás de Miguel Moro, Tomás Robles: From LOTOS to VHDL, en: J.-M. Bergé, O. Levia, J. Rouillard (eds.): High-level System Modelling: Specification Languages, Series Current Issues in Electronic Modelling, number 3, Sept. 1995, Dordrecht: Kluwer Academic Publishers 1995, ISBN 0-7923-9632-4
  
  
• [Sánchez et al. 95]
  Luis Sánchez Fernández, Natividad Martínez Madrid, Carlos Delgado Kloos: Integrating Non-functional Aspects into LOTOS, en: J.-M. Bergé, O. Levia, J. Rouillard (eds.): High-level System Modelling: Specification and Design Methodologies, Series Current Issues in Electronic Modelling, number 4, Dic. 1995, Dordrecht: Kluwer Academic Publishers 1995, ISBN 0-7923-9660-X
  
  
• [Villar, Delgado 95]
  Eugenio Villar, Carlos Delgado Kloos: VHDL, el lenguaje estándar de diseño electrónico, published in the journal Novática, number 112/113, Nov.-Dec. 94/Enero-Feb. 95, 20-24