Electronic Communications of the EASST
Furniss, Dominic, UCLIC, UCL Interaction Centre, University College, London, United Kingdom
-
Volume 45: Formal Methods for Interactive Systems 2011 - Articles
Modelling Distributed Cognition Systems in PVS
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.