Login / Signup
Xiao-Hui Jin
Publication Activity (10 Years)
Years Active: 2006-2006
Publications (10 Years): 0
</>
Publications
</>
Vera Pantelic
,
Xiao-Hui Jin
,
Mark Lawford
,
David Lorge Parnas
Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking.
Software Engineering Research and Practice
(2006)