Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 11

> 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 11, Number 1, July 1997

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BeckerDT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BeckerDT97
Bernd Becker, Rolf Drechsler, Michael Theobald:
On the Expressive Power of OKFDDs. 5-21
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SloanB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SloanB97
Robert H. Sloan, Ugo A. Buy:
Stubborn Sets for Real-Time Petri Nets. 23-40
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MurthyBL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MurthyBL97
Praveen K. Murthy, Shuvra S. Bhattacharyya, Edward A. Lee:
Joint Minimization of Code and Data for Synchronous Dataflow Programs. 41-70
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BrockH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BrockH97
Bishop Brock, Warren A. Hunt Jr.:
The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor. 71-104

Volume 11, Number 2, August 1997

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Courcoubetis97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Courcoubetis97
Costas Courcoubetis:
Introduction to the Special Issue on Computer-Aided Verification (CAV93). 111-112
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/YannakakisL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/YannakakisL97
Mihalis Yannakakis, David Lee:
An Efficient Algorithm for Minimizing Real-Time Transition Systems. 113-136
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AlurCH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AlurCH97
Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger:
Computing Accumulated Delays in Real-time Systems. 137-155
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HalbwachsPR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HalbwachsPR97
Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff:
Verification of Real-Time Systems using Linear Relation Analysis. 157-185
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/YonedaS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/YonedaS97
Tomohiro Yoneda, Bernd-Holger Schlingloff:
Efficient Verification of Parallel Real-Time Systems. 187-215

Volume 11, Number 3, October 1997

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MeinelS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MeinelS97
Christoph Meinel, Anna Slobodová:
A Unifying Theoretical Background for Some Bdd-based Data Structures. 223-237
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SharpR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SharpR97
Robin Sharp, Ole Rasmussen:
The T-Ruby Design System. 239-264
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HulgaardB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HulgaardB97
Henrik Hulgaard, Steven M. Burns:
Bounded Delay Timing Analysis of a Class of CSP Programs. 265-294

a service of

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.