default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 13

> Home > Journals > Formal Methods in System Design

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 13, Number 1, May 1998

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/WaldenS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/WaldenS98
Marina Waldén, Kaisa Sere:
Reasoning about Action Systems using the B-Method. 5-35
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BeerelBM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BeerelBM98
Peter A. Beerel, Jerry R. Burch, Teresa H. Meng:
Checking Combinational Equivalence of Speed-Independent Circuits. 37-85
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Broy98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Broy98
Manfred Broy:
A Functional Rephrasing of the Assumption/Commitment Specification Style. 87-119

Volume 13, Number 2, September 1998

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KapurS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KapurS98
Deepak Kapur, Mahadevan Subramaniam:
Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory. 127-158
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/TaharK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/TaharK98
Sofiène Tahar, Ramayya Kumar:
A Practical Methodology for the Formal Verification of RISC Processors. 159-225

Volume 13, Number 3, November 1998

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SchroerW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SchroerW98
Olaf Schröer, Ingo Wegener:
The Theory of Zero-Suppressed BDDs and the Number of Knight's Tours. 235-253
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Holzmann98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Holzmann98
Gerard J. Holzmann:
An Analysis of Bitstate Hashing. 289-307

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.