Frits W. Vaandrager

◀ ▶ joint publications with W. O. David Griffioen

> Home > Persons > Frits W. Vaandrager

Publications

2004
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/GriffioenV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/GriffioenV04
W. O. David Griffioen, Frits W. Vaandrager:
A theory of normed simulations. ACM Trans. Comput. Log. 5(4): 577-610 (2004)
2000
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DevillersGRV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DevillersGRV00
Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager:
Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394. Formal Methods Syst. Des. 16(3): 307-320 (2000)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0007030
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0007030
W. O. David Griffioen, Frits W. Vaandrager:
A theory of normed simulations. CoRR cs.LO/0007030 (2000)
1998
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/GriffioenV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GriffioenV98
W. O. David Griffioen, Frits W. Vaandrager:
Normed Simulations. CAV 1998: 332-344

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.