Travelled to:1 × Italy
1 × The Netherlands
Collaborated with:P.Buchholz
Talks about:analysi (2) system (2) distribut (1) techniqu (1) toolbox (1) support (1) modular (1) discret (1) state (1) level (1)
Person: Peter Kemper
DBLP: Kemper:Peter
Contributed to:
1999
1999Wrote 2 papers:
- CAV-1999-BuchholzK #analysis
- A Toolbox for the Analysis of Discrete Event Dynamic Systems (PB, PK), pp. 483–486.
- TACAS-1999-BuchholzK #analysis #composition #distributed #tool support
- Modular State Level Analysis of Distributed Systems Techniques and Tool Support (PB, PK), pp. 420–434.