Travelled to:1 × Germany
1 × USA
Collaborated with:K.G.Larsen F.Larsson P.Pettersson W.Yi W.O.D.Griffioen K.J.Kristoffersen
Talks about:uppaal (2) protocol (1) collis (1) verif (1) audio (1) use (1) bus (1)
Person: Johan Bengtsson
DBLP: Bengtsson:Johan
Contributed to:
1996
1996Wrote 2 papers:
- CAV-1996-BengtssonGKLLPY #protocol #using #verification
- Verification of an Audio Protocol with Bus Collision Using UPPAAL (JB, WODG, KJK, KGL, FL, PP, WY), pp. 244–256.
- TACAS-1996-BengtssonLLPY
- UPPAAL in 1995 (JB, KGL, FL, PP, WY), pp. 431–434.