Showing 1 - 3 results of 3 for search 'Hopcroft, P', query time: 0.02s
Refine Results
-
1
-
2
Combining the box structure development method and CSP for software development by Hopcroft, P, Broadfoot, G
Published 2005Journal article -
3
Analysing a stream authentication protocol using model checking by Hopcroft, P, Lowe, G
Published 2004Journal article