Volume 4, Number 1, January 1994

• 
  Diederik Verkest, Luc J. M. Claesen, Hugo De Man: A Proof of the Nonrestoring Division Algorithm and its Implementation on an ALU. 5-31
• 
  Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky: Analysis and Identification of Speed-Independent Circuits on an Event Model. 33-75

Volume 4, Number 2, February 1994

• 
  Cheryl Harkness, Elizabeth Wolf: Verifying the Summit Bus Converter Protocols with Symbolic Model Checking. 83-97
• 
  Siegfried Fischer, Andreas Scholz: Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study. 99-122
• 
  Thomas F. La Porta, Mischa Schwartz: Verification of the MultiStream Potocol (MSP) Using COSPAN. 123-153
• 
  W. M. H. M. Rovers: Description of a Design Management System for the P-ASIC Design Flow Using EXPDL. 155-166
• 
  Bernard Plessier, Gary D. Hachtel, Fabio Somenzi: Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms. 167-185
• 
  Alessandro Fantechi, Stefania Gnesi, Gioia Ristori: Model Checking for Action-Based Logics. 187-203

Volume 4, Number 3, May 1994

• 
  Andrew M. Bailey, George A. McCaskill, George J. Milne: An Exercise in the Automatic Verification of Asynchronous Designs. 213-242
• 
  Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, Massimo Vanocchi, Paolo Moreschini: Assisting Requirement Formalization by Means of Natural Language Translation. 243-263
• 
  Victoria Stavridou: Gordon's Computer: A Hardware Verification Case Study in OBJ3. 265-310

last updated on Mon May 20 00:57:46 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page