Travelled to:
1 × Austria
Collaborated with:
B.Bollig C.Kern V.Stolz
Talks about:
specif (1) analyz (1) tool (1) msc (1) can (1)
Person: Markus Schlütter
DBLP: Schl=uuml=tter:Markus
Contributed to:
Wrote 1 papers:
- TACAS-2006-BolligKSS #named #specification
- MSCan — A Tool for Analyzing MSC Specifications (BB, CK, MS, VS), pp. 455–458.