default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 4

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Journals > Formal Methods in System Design

Volume 4, Number 1, January 1994

- view
- export record
  dblp key:
  - journals/fmsd/VerkestCM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/VerkestCM94
Diederik Verkest, Luc J. M. Claesen, Hugo De Man:
A Proof of the Nonrestoring Division Algorithm and its Implementation on an ALU. 5-31
- view
- export record
  dblp key:
  - journals/fmsd/KishinevskyKTV94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KishinevskyKTV94
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

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

Volume 4, Number 3, May 1994

- view
- export record
  dblp key:
  - journals/fmsd/BaileyMM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BaileyMM94
Andrew M. Bailey, George Alexander McCaskill, George J. Milne:
An Exercise in the Automatic Verification of Asynchronous Designs. 213-242
- view
- export record
  dblp key:
  - journals/fmsd/FantechiGRCVM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FantechiGRCVM94
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, Massimo Vanocchi, Paolo Moreschini:
Assisting Requirement Formalization by Means of Natural Language Translation. 243-263
- view
- export record
  dblp key:
  - journals/fmsd/Stavridou94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Stavridou94
Victoria Stavridou:
Gordon's Computer: A Hardware Verification Case Study in OBJ3. 265-310

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.