Formal Methods in System Design, Volume 13

Volume 13, Number 1, May 1998

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fmsd/WaldenS98
- ask others
Marina A. Waldén, Kaisa Sere: Reasoning about Action Systems using the B-Method. 5-35
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fmsd/BeerelBM98
- ask others
Peter A. Beerel, Jerry R. Burch, Teresa H. Y. Meng: Checking Combinational Equivalence of Speed-Independent Circuits. 37-85
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fmsd/Broy98
- ask others
Manfred Broy: A Functional Rephrasing of the Assumption/Commitment Specification Style. 87-119

Volume 13, Number 2, September 1998

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fmsd/KapurS98
- ask others
Deepak Kapur, Mahadevan Subramaniam: Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory. 127-158
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fmsd/TaharK98
- ask others
Sofiène Tahar, Ramayya Kumar: A Practical Methodology for the Formal Verification of RISC Processors. 159-225

Volume 13, Number 3, November 1998

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fmsd/SchroerW98
- ask others
Olaf Schröer, Ingo Wegener: The Theory of Zero-Suppressed BDDs and the Number of Knight's Tours. 235-253
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fmsd/Holzmann98
- ask others
Gerard J. Holzmann: An Analysis of Bitstate Hashing. 289-307