Model Checking Command Dialogues.
Rolando Medellin, Katie M. Atkinson, Peter McBurney · Research Portal (King's College London) · 2009
TEST 02 - Elsevier's Scopus, the largest abstract and citation database of peer-reviewed literature. Search and access research from the science, technology, medicine, social sciences and arts and humanities fields.