4. IWFM 2000: Maynooth, Ireland

> Home > Conferences and Workshops > IWFM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iwfm/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/2000
David Sinclair, J. Paul Gibson:
4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000. Workshops in Computing, BCS 2000
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/Currie00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/Currie00
A. J. Currie:
A Comparison of Three Model Checkers Applied to a Distributed Database Problem.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/HitzlerS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/HitzlerS00
Pascal Hitzler, Anthony Karel Seda:
A Note on the Relationships Between Logic Programs and Neural Networks.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/KingM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/KingM00
Steve King, Carroll Morgan:
An Iterator Construct for the Refinement Calculus.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/Pahl00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/Pahl00
Claus Pahl:
Modal Logics for Reasoning about Object-based Component Composition.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/Pahl00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/Pahl00a
Claus Pahl:
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/PoppletonB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/PoppletonB00
Michael Poppleton, Richard Banach:
Retrenchment: Extending Refinement for Continuous and Control Systems.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/Tabacznyj00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/Tabacznyj00
Christophe Tabacznyj:
Abstract Clustering for Program Comprehension.

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.