default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 23

> 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 23, Number 1, July 2003

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Jeannet03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Jeannet03
Bertrand Jeannet:
Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems. 5-37
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BaumgartnerHSA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BaumgartnerHSA03
Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz:
An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists. 39-65
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/RufK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/RufK03
Jürgen Ruf, Thomas Kropf:
Symbolic Verification and Analysis of Discrete Timed Systems. 67-108

Volume 23, Number 2, September 2003

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GlusmanK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GlusmanK03
Marcelo Glusman, Shmuel Katz:
A Mechanized Proof Environment for the Convenient Computations Proof Method. 115-142
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Wehrheim03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Wehrheim03
Heike Wehrheim:
Behavioral Subtyping Relations for Active Objects. 143-170
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HosabettuGS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HosabettuGS03
Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas:
Formal Verification of a Complex Pipelined Processor. 171-213

Volume 23, Number 3, November 2003

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BrzozowskiE03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BrzozowskiE03
Janusz A. Brzozowski, Zoltán Ésik:
Hazard Algebras. 223-256
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Delzanno03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Delzanno03
Giorgio Delzanno:
Constraint-Based Verification of Parameterized Cache Coherence Protocols. 257-301
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HenzingerKQ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HenzingerKQ03
Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer:
From Pre-Historic to Post-Modern Symbolic Model Checking. 303-327

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.