Travelled to:1 × Germany
Collaborated with:I.Wenzel R.Kirner P.P.Puschner
Talks about:model (2) generat (1) utomat (1) partit (1) check (1) time (1) cfg (1)
Person: Bernhard Rieder
DBLP: Rieder:Bernhard
Contributed to:
2005Wrote 1 papers:
- DATE-2005-WenzelRKP #clustering #context-free grammar #generative #model checking
- utomatic Timing Model Generation by CFG Partitioning and Model Checking (IW, BR, RK, PPP), pp. 606–611.