DEDUCTIVE TECHNIQUES FOR MODEL-BASED CONCURRENCY VERIFICATION
Voor meer informatie zie de Engelse website.