default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 15

> 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 15, Number 1, July 1999

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AlurH99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AlurH99a
Rajeev Alur, Thomas A. Henzinger:
Introduction. 5
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/AlurH99b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/AlurH99b
Rajeev Alur, Thomas A. Henzinger:
Reactive Modules. 7-48
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/SipmaUM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/SipmaUM99
Henny Sipma, Tomás E. Uribe, Zohar Manna:
Deductive Model Checking. 49-74
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BensalemL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BensalemL99
Saddek Bensalem, Yassine Lakhnech:
Automatic Generation of Invariants. 75-92

Volume 15, Number 2, September 1999

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BasinF99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BasinF99
David A. Basin, Stefan Friedrich:
Modeling a Hardware Synthesis Methodology in Isabelle. 99-122
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/PinzonHJB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/PinzonHJB99
Luz E. Pinzon, Hans-Michael Hanisch, Mohsen A. Jafari, Thomas O. Boucher:
A Comparative Study of Synthesis Methods for Discrete Event Controllers. 123-167

Volume 15, Number 3, November 1999

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KurshanMOS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KurshanMOS99
Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs:
Modelling Asynchrony with a Synchronous Model. 175-199
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/StoddartDG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/StoddartDG99
Bill Stoddart, Steve Dunne, Andy Galloway:
Undefined Expressions and Logic in Z and B. 201-215
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GyurisS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GyurisS99
Viktor Gyuris, A. Prasad Sistla:
On-the-Fly Model Checking Under Fairness that Exploits Symmetry. 217-238
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/Schmidt99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/Schmidt99
Karsten Schmidt:
Model-Checking with Coverability Graphs. 239-254

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.