Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements.

Catholijn M. Jonker Ioan Alfred Letia Jan Treur Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements. 17-32 2001 conf/aose/2001 AOSE http://link.springer.de/link/service/series/0558/bibs/2222/22220017.htm db/conf/aose/aose2001.html#JonkerLT01