Formally Defining a Graphical Language for Monitoring and Checking Object Interactions.

Kai Xu, Donglin Liang

Browse the full MODELS paper archive.