Modal Abstractions of Concurrent Behaviour.

Sebastian Nanz Flemming Nielson Hanne Riis Nielson

Published in: SAS (2008)

Keyphrases

modal logic
high level
decision making
three dimensional
database systems
data structure
user behaviour