Skip navigation
Scholarly Communication

Browse by Supervisor

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 2.

Stocker, Richard (2013) Towards the formal verification of human-agent-robot teamwork. Doctoral thesis, University of Liverpool.

Zhang, Lan (2010) Clausal reasoning for branching-time logics. Doctoral thesis, University of Liverpool.

This list was generated on Sun Nov 23 20:03:13 2014 GMT.

Full text only
Peer reviewed only

Cross Archive Search
Top 50 authors
Top 50 items
[more statistics]

These pages are maintained by Library Staff @ University of Liverpool Library


All pages © The University of Liverpool, 2004 | Disclaimer | Accessibility | Staff | Students