Towards Verification of Storyboards.

Rainer Knauf, Horst Duesel

Browse the full FlAIRS paper archive.