ask others

Bart Knaack

◁ ▶ joint publications with Dennis Dams

> Home > Persons > Bart Knaack
> Home > Persons > Dennis Dams

Publications

1998
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/DamsGKK98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/DamsGKK98
Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper:
Partial-order Reduction Techniques for Real-time Model Checking. Formal Asp. Comput. 10(5-6): 469-482 (1998)

maintained by

, founded at