共 50 条
- [31] Eye movement as an insight independent tool to assess checking behaviours in obsessive-compulsive disorder ANNALES MEDICO-PSYCHOLOGIQUES, 2011, 169 (07): : 466 - 467
- [32] Model-driven consistency checking of behavioural specifications FOURTH INTERNATIONAL WORKSHOP ON MODEL-BASED METHODOLOGIES FOR PERVASIVE AND EMBEDDED SOFTWARE, PROCEEDINGS, 2007, : 115 - +
- [33] From Linear Types to Behavioural Types and Model Checking CONCURRENT OBJECTS AND BEYOND: PAPERS DEDICATED TO AKINORI YONEZAWA ON THE OCCASION OF HIS 65TH BIRTHDAY, 2014, 8665 : 128 - 143
- [34] From linear types to behavioural types and model checking Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8665 : 128 - 143
- [35] Therapy of an obsessive-compulsive disorder in a cognitive-behavioural approach PSYCHIATRIA I PSYCHOLOGIA KLINICZNA-JOURNAL OF PSYCHIATRY AND CLINICAL PSYCHOLOGY, 2019, 19 (02): : 210 - 215
- [36] Personality disorders, obsessive-compulsive disorder and behavioural cognitive therapy ANNALES MEDICO-PSYCHOLOGIQUES, 2003, 161 (05): : 382 - 388