`Travelled to:`

1 × Canada

1 × Denmark

`Collaborated with:`

S.Fischer A.Scholz R.Enders T.Filkorn

`Talks about:`

distribut (1) process (1) generat (1) control (1) algebra (1) vehicl (1) symbol (1) verif (1) track (1) studi (1)

## Person: Dirk Taubner

### DBLP: Taubner:Dirk

### Contributed to:

### Wrote 2 papers:

- CAV-1992-FischerST #algebra #case study #distributed #process #verification
- Verification in Process Algebra of the Distributed Control of Track Vehicles — A Case Study (SF, AS, DT), pp. 192–205.
- CAV-1991-EndersFT #generative #model checking
- Generating BDDs for Symbolic Model Checking in CCS (RE, TF, DT), pp. 203–213.