Background for the header

Modelleren: Papers waarnaar verwezen in de les

LSCs: Breathing Life into Message Sequence Charts

From Live Sequence Charts to State Machines and Back: A Guided Tour

Beyond merely information provisioning: a museum handheld guide based on social activities and playful learning

Live Sequence Charts an introduction to lines, arrows and strange boxes in the context of formal verification.

Supporting Social Interaction: A Collaborative Trading Game On PDA

FoTS - Universiteit Antwerpen - 2009-2011

for the footer