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:
19921991Wrote 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.